ND1750 - PowerPoint PPT Presentation
1 / 1
Title:
ND1750
Description:
ND1750. Proof system for propositional logic with connectives ... Conj. Simp. Add. DS . . C D. A B , A C, B D . . A. A A. Contr (Contraction) CD . . A A ... – PowerPoint PPT presentation
Number of Views:17
Avg rating:3.0/5.0
Title: ND1750
1
ND1750
Proof system for propositional logic with
connectives ?,?,?,?, false, true
MP
MT
CD
Contr (Contraction)
Conj
XM (Excluded middle)
Simp
TI (Truth Introduction)
Add
FE (Falsehood Elimination)
DS
plus special rule CP.
Recommended
CrystalGraphics Presentations
