Definition:Compound Statement/Also defined as
Jump to navigation
Jump to search
Compound Statement: Also defined as
Some sources define a compound statement, in the context of symbolic logic, as a statement form other than:
Such is the approach of 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences, who separately categorises the truth tables of those five statement forms as fundamental.
Hence any statement form which is not one of those fundamental five is (implicitly) defined as being compound.
Sources
- 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (2nd ed.) ... (previous) ... (next): $\S \text{II}.13$: Symbolism of sentential calculus