Semantic Proofs - Review of Semantic Concepts...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
Review of Semantic Concepts Truth-functional truth: Statement true on every truth-value assignment Truth-functional falsity: Statement false on every truth-value assignment Truth-functional indeterminacy: Neither truth-functionally true nor truth-functionally false Consistency: A truth-value assignment where all the members of the set are true Equivalence: No truth-value assignment where one is true and the other false (i.e. They have identical truth-values) Entailment: Every truth-value assignment that makes the members of the set true makes the further sentence true
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Set Terminology 2200 Γ = Represents a set of sentences of SL { P }: Set whose only member is P . Sometimes referred to as the “unit set of P ” or “singleton P 2200 = Used to represent the joining together of the members of two sets 2200 = Represents the “empty set” (the set which has no members)
Background image of page 2
Consistency and Truth- functional Truth Prove: If {~ P} is inconsistent, P is truth- functionally true Strategy: Assume inconsistency of {~ P }, show that the truth-functional truth of P follows
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
functional Truth Explanation: Assume that {~ P } is inconsistent. A set is inconsistent just in case there is no truth-value assignment on which all the members of that set are true. Since ~ P is the only member of this set, the inconsistency of the set shows that ~ P must be truth-functionally false (as it would be false on every truth-value assignment). Since ~
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 14

Semantic Proofs - Review of Semantic Concepts...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online