AA and DC operators

AA (affirm anteccedent)

• if a=>c
  • is A
    • is c

DC (deny consequent)

• if a => c
  • is not c
    • is not a

• (if A then C), (a only if C)

  • Not C
    • Not A

• tips

  • Don’t use only if
    • it can create a fallacy
      • the better way=> (original thing) only if (the DC)

• Ex

• Cats have free will only if they can vote
  - cats can’t vote
  - cats don’t have free will