Natural Deduction
- (p + q) <=> - p & - q
assume -(p + q). assume p. p + q. F. therefore -p. assume q. p + q. F. therefore -q. -p & -q. therefore -(p + q) => -p & -q. assume -p & -q. assume p + q. assume p. -p. F. therefore p => F. assume q. -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