Semantic Trees (Kartei)

10 Karteikarten

• 1
  Which rules do exist?

  # Double Negation # Conjunction # Negated Conjunction # ...
• 2
  Double negation (DN)

  ¬¬A A
• 3
  Conjunction (C)

  A & B A B
• 4
  Negated Conjunction (NC)

  ¬(A & B) /\ ¬A ¬B
• 5
  Disjunction (D)

  A v B / \ A B
• 6
  Negated Disjunction (ND)

  ¬(A v B) ¬A ¬B
• 7
  Implication (Conditional) (I)

  A -> B / \ ¬A B
• 8
  Negated Implication (Conditional) (NI)

  ¬(A -> B) A ¬B
• 9
  Biconditional (B)

  A <-> B / \ A ¬A B ¬B
• 10
  Negated Biconditional (NB)

  ¬(A <-> B) / \ A ¬A ¬B B