10 likes | 132 Views
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).
E N D
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)