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