โ”€โ”€โ”€โœฑ*.๏ฝก:๏ฝกโœฑ*.:๏ฝกโœง*.๏ฝกโœฐ*.:๏ฝกโœง*.๏ฝก:๏ฝก*.๏ฝกโœฑ โ”€โ”€โ”€

Argument Validity

  • What does it mean for an argument to be valid?
    • An argument is valid if its conclusion must be true when the premises are true

Validity from Tautologies

  • Modus Ponens โ†’ if ๐‘โ†’๐‘ž is true, and ๐‘ is true, then ๐‘ž must be true
  • Modus Tollens โ†’ if ๐‘โ†’๐‘ž and ๐‘ž is false, then ๐‘ must be false
  • Disjunctive Syllogism โ†’ if ๐‘โˆจ๐‘ž is true, and ๐‘ is false, then ๐‘ž is true
  • Transitivity of Implication โ†’ if ๐‘โ†’๐‘ž and ๐‘žโ†’๐‘Ÿ, then ๐‘โ†’๐‘Ÿ
  • (and many more)

Valid Argument

  • Premise 1 โ†’ if it is raining, then the ground is wet
  • Premise 2 โ†’ it is raining
  • Conclusion โ†’ the ground is wet

Invalid Argument

  • Premise 1 โ†’ if it is raining, then the ground is wet
  • Premise 2 โ†’ the ground is wet
  • Conclusion โ†’ it is raining

โ”€โ”€โ”€โœฑ*.๏ฝก:๏ฝกโœฑ*.:๏ฝกโœง*.๏ฝกโœฐ*.:๏ฝกโœง*.๏ฝก:๏ฝก*.๏ฝกโœฑ โ”€โ”€โ”€