Chpt 6: Forlax Natural Deduction

Question 1

Disjunctive syllogism

Answer 1

When you say this or that, then say not this, and thus, that is true.

Exp. Terel or Traci. Not Terel, therefore Traci. Always valid.

Question 2

Modus Ponens

Answer 2

When you say if this then that, then say this, therefore that is true

Exp. If me, then Terel. Terel. Me is true.

Question 3

(SL/Truth Table) Proof

Answer 3

A series of sentences that includes assumption/premise sentences followed by a conclusion sentence

Question 4

2 main types of rules for constructing a proof

Answer 4

Introduction rules

Elimination rules

Question 5

Introduction Rules (for a proof)???

Answer 5

“A rule that allows us to prove a sentence that has it as the main logical operator” wtf

Question 6

Logical Operator

Answer 6

The and, or, conditional, biconditional connective for an atomic sentence

&, V, arrow, two sided arrow, sideways L

Question 7

Elimination Rule (for a proof)

Answer 7

“Allows us to prove something given a sentence that has it as the main logical operator” Seriously?!