Propositional Logic: partIIm
No Strings Attached
- Author:
- Ian Barland, John Greiner, Matthias Felleisen, Moshe Vardi, Phokion Kolaitis
- Subject:
- Mathematics and Statistics, Science and Technology
- Institution Name:
- Connexions
- Collection:
- Connexions
- Grade Level:
- Post-secondary
- Abstract:
More examples using formal proofs (inference rules) for determining whether a formula is true.
- Course Type:
- Learning Module
- Languages:
- English
- Material Type:
- Readings, Syllabi
- Media Format:
- Text/HTML
- Conditions of Use:
-
Creative Commons Attribution 1.0
Comments