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