Natural Deduction
-p & -q => -(p + q)
examples
|
rules
|
syntax
|
info
|
download
|
home
Last Modified : 22-Jan-2010