Sentential Calculus Introduction
Sentential Calculus Semantics
Extension Theorem
State Descriptions, Disjunctive Normal Form, and Expressive Completeness
SC Substitutions
Compactness Theorem
Translations.
This material was created by or adapted from material created by MIT faculty member, Vann McGee, Professor, 2002. Copyright © 2002 Vann McGee.
This material is licensed by the Massachusetts Institute of Technology under a Creative Commons License.
This license is available at: http://ocw.mit.edu/OcwWeb/Global/terms-of-use.htm
This material is licensed by the Massachusetts Institute of Technology under a Creative Commons License.
This license is available at: http://ocw.mit.edu/OcwWeb/Global/terms-of-use.htm