Search Results (1)
We generalize from having a mass of propositional variables to representing the ...
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.
- Material Type:
- Rice University
- Provider Set:
- Ian Barland
No restrictions on your remixing, redistributing, or making derivative works. Give credit to the author, as required.
Copyrighted materials, available under Fair Use and the TEACH Act for US-based educators, or other custom arrangements. Go to the resource provider to see their individual restrictions.