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