Discharge rules permit inference from a subderivation based on a temporary assumption. Below, the notation \varphi \vdash \psi\,\! indicates such a subderivation from the temporary assumption \varphi\,\! to \psi\,\!. |
About us|Jobs|Help|Disclaimer|Advertising services|Contact us|Sign in|Website map|Search|
GMT+8, 2014-3-16 10:32 , Processed in 0.106565 second(s), 17 queries .