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