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