SEMANA 7 - IMPLICACIONES NOTABLES Flashcards
1
Q
Estrategias lógicas que permiten resolver razonamientos de forma válida.
A
Implicaciones notables
2
Q
[(A⟶B) ∧ A] ⟶ B
A
MODUS PONEDO PONENS
3
Q
P1: A → B
P2: A
∴ B
A
MODUS PONENDO PONENS
4
Q
[(A⟶B) ∧ ~B] ⟶ ~A
A
MODUS TOLLENDO TOLENS
5
Q
P1: A v B
P2: ~A
∴ B
A
SILOGISMO DISYUNTIVO
6
Q
P1: A ⟶ B
P2: B ⟶ C
∴ A ⟶ C
A
SILOGÍSMO HIPOTÉTICO PURO
7
Q
[(A ⟶ B) ∧ (B ⟶ C) ] ⟶ ( A ⟶ C)
A
SILOGÍSMO HIPOTÉTICO PURO
8
Q
[(A v B) ∧ ~A] ⟶ B
A
SILOGISMO DISYUNTIVO
9
Q
P1: A ⟶ B
P2: ~B
∴ ~A
A
MODUS TOLLENDO TOLENS
