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