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