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