Before considering first-order languages we consider some simpler languages, whose study will be a simplified model of the more involved study of first-order languages themselves. These sentential languages enable one to express only such primitive logical notions as not,implication, and, or, etc. These connectives between sentences are such that the truth of a complicated sentence can be inferred just from the truth or falsity of its components.
KeywordsTruth Table Finite Sequence Intuitionistic Logic Conjunctive Normal Form Completeness Theorem
Unable to display preview. Download preview PDF.
- 2.Lukasiewicz, J. and Tarski, A. Investigations into the sentential calculus. In Logic, Semantics, Metamathematics; Collected Papers of A. Tarski. Oxford: Oxford Univ. Press (1956).Google Scholar