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