ND1750 PowerPoint PPT Presentation

presentation player overlay
1 / 1
About This Presentation
Transcript and Presenter's Notes

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.
Write a Comment
User Comments (0)
About PowerShow.com