CS109B Notes for LectureWhy Tautologies Again?  
Add to Reading List

Document Date: 2008-09-19 00:59:23

File Size: 56,01 KB

ProvinceOrState

SocialTag

• Propositional calculus
• Model theory
• Logical truth
• Semantics
• Predicate logic
• Tautology
• First-order logic
• Substitution
• Function
• Logic