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