Relational Logic
No Strings Attached
- Author:
- Ian Barland
- Subject:
- Mathematics and Statistics, Science and Technology
- Institution:
- Connexions
- Collection:
- Connexions
- Level:
- Post-secondary
- Abstract:
We generalize from having a mass of propositional variables to representing the same information with relations. This prompts a few changes in notation and rules of inference.
- Course Type:
- Learning Module
- Language:
- English
- Material Type:
- Readings, Syllabi
- Media Format:
- Text/HTML
- Conditions of Use:
-
Creative Commons Attribution 1.0