Study Notes on Conditional and Biconditional Statements

Introduction to Logical Statements

  • The discussion revolves around logical statements and their forms, specifically focusing on conditional and biconditional statements in logic.

Negation

  • Definition of Negation: The negation of a statement indicates that the statement is false.
  • Usage Context: Negation will be revisited alongside parentheses in future discussions.

Conditional Statements

Definition
  • Defined as an if-then statement which is a fundamental concept in logic.
Complexity
  • Conditional statements are considered the hardest type of statement in terms of determining their truth value based on historical data collected by the instructor.
Importance
  • Requires extra study as conditional statements involve multiple rules, especially when combined with De Morgan's Law.
Symbolization
  • Represented with a right-pointing arrow (→):
    • If p, then q is denoted as p → q.
Notes on Directionality
  • The arrow must point to the right for it to be valid in logical notation; a left-pointing arrow does not signify anything in logic.

Components of Conditional Statements

Antecedent
  • Definition: The part of the statement that occurs before the arrow, representing the condition that needs to be satisfied for the consequent to follow.
    • Example: In if p then q, p is the antecedent.
Consequent
  • Definition: The part of the statement that follows the arrow, indicating the result if the antecedent is true.
    • Corresponds to if this happens, then that happens. In if p then q, q is the consequent.

Practice With Symbolic Form

  • Example Statements:
    1. Statement: "The dog runs away, the child will cry."
    • Symbolic Form: p → q.
    1. Statement: "If the child cries, then the dog didn't run away."
    • Symbolic Form: q → ¬p (where ¬p indicates the negation of p, i.e., the dog did not run away).
  • Explanation of Usage of Negation: Negations are indicated by the word 'not' and involve placing a negation symbol (¬) in front of the statement it negates.

Truth Statements

Negation in Statements
  • Example: "It is false that if the child cries, then the dog ran away."
    • Symbolic Form: ¬(q → p), where the negation is applied to the entire conditional statement.
  • Meaning: If it is false that the conditional holds, it makes implications for evaluating the truth of the constituent statements.

Biconditional Statements

Definition
  • A biconditional contains two conditional statements and is expressed in terms of if and only if.
Symbolization
  • Represented with a double-headed arrow (↔):
    • Example: p ↔ q, meaning p if and only if q.
Importance
  • Biconditional statements simplify the evaluation of truth values compared to multiple conditional statements.

Examples of Biconditional Statements

  1. Statement: "James plays goalie on the lacrosse team if and only if the Huskies win the championship cup."
    • Symbolic Form: p ↔ q.
  2. Statement: "The Huskies win the championship cup if and only if James does not play goalie."
    • Symbolic Form: ¬p ↔ q where ¬p indicates the negation, that James does not play goalie.

Commas and Parentheses in Logic

Importance of Commas
  • Commas indicate the grouping of statements and dictate how they should be constructed.
Observations on Statements
  1. Example A: "Dinner includes soup and salad, or vegetable of the day"; indicates different groupings based on which statements follow or precede the comma.
  2. Example B: A similar statement structured differently with the comma prompts different logical interpretations.
Application of Parentheses
  • Parentheses are critical when the statement contains multiple elements, as the placement of commas directs where parentheses are necessary for clarity in order of operations.
  • When three simple propositions are involved, parentheses must be carefully placed according to the commas in the statement.