Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
15 Cards in this Set
- Front
- Back
p-->q
p q |
M.P.
Modus Pones |
|
p-->q
-q -p |
M.T.
Modus Tollens |
|
p v q
-p q |
S.D.
Silogismo Disyuntivo |
|
(p-->q) & (r-->s)
p v r q v s |
D.C.
Dilema Constructivo |
|
p^q
p |
S.
Simplificación |
|
p-->q
q-->r p-->r |
S.H.
Silogismo Hipotético |
|
p
pvs |
A.
Adición |
|
¿Cuál es la única conectiva que me permite separar dos elementos de un renglón?
|
Conjunción · ^ &
|
|
p-->q
-q por lo tanto... |
-p
(MT) |
|
p v q
-q por lo tanto |
p
(SD) |
|
¿Cuál es la única conectiva que me permite adicionar un elemento cualquiera a un renglón?
|
v
(Adición) |
|
(pvr) · (p->q)
p->q ¿Cuál regla me permite hacer esto? |
Simplificación
|
|
(p->q) · (r->s)
-q v -s por tanto... |
-p v -r
(Dilema Destructivo) |
|
(m v p) --> -s
--s por tanto |
-(m v p)
MT |
|
-f --> p
-f por tanto... |
p
MP |