ND1750
1
ND1750 ND1750 Proof system for propositional logic with connectives ,,,, false, true: A B , A .·. B A B , B .·. A A , B .·. A B A B .·. A A B .·. B A .·. A B B .·. A B A B , A . ·. B A B , B . ·. A MP MT Con j Simp Add DS A B , A C, B D .·. C D A A .·. A Contr (Contraction) CD .·. A A XM (Excluded middle) .·. true TI (Truth Introduction) fals e .·. A FE (Falsehood Elimination) … plus special rule CP. (and HS and DD if you like) N o t i n b o o k
description
Not in book. Proof system for propositional logic with connectives ,,,, false, true:. ND1750. MP. MT. CD. Contr (Contraction). Conj. XM (Excluded middle). Simp. TI (Truth Introduction). Add. FE (Falsehood Elimination). DS. … plus special rule CP. ( and HS and DD if you like). - PowerPoint PPT Presentation
Transcript of ND1750
ND1750ND1750Proof system for propositional logic with connectives ,,,, false, true:
A B , A
.·. B
A B , B
.·. A
A , B
.·. A B
A B
.·. A
A B
.·. B
A
.·. A B
B
.·. A B
A B , A
.·. B
A B , B
.·. A
MP MT
Conj
Simp
Add
DS
A B , A C, B D
.·. C D
A A
.·. AContr (Contraction)
CD
.·. A AXM (Excluded middle)
.·. true
TI (Truth Introduction)
false
.·. AFE (Falsehood Elimination)
… plus special rule CP.(and HS and DD if you like)
Not in book