Natural Deduction
p + q => q + p
assume p + q. assume p. q + p. therefore p => q + p. assume q. q + p. therefore q => q + p. q + p. therefore p + q => q + p.
examples
|
rules
|
syntax
|
info
|
download
|
home
Last Modified : 27-Feb-2023