A classical proposition validating system