Logica matematica Flashcards
1
Q
p
q
p^q
A
conjunción
2
Q
p^q
p
A
simplificación
3
Q
p
p^q
A
adición
4
Q
q
p-> q
A
condicionalizacion
5
Q
p->q
q->r
p->r
A
sorites
6
Q
p->q
~q
~p
A
hipotético negativo
7
Q
~p->q
~p
q
A
hipotético afirmativo
8
Q
p v q
~q
p
A
disyuntivo incluyente
9
Q
~p v ~q
q
~p
A
disyuntivo incluyente
10
Q
p _v q
p
~q
A
disyuntivo excluyente
11
Q
p v q
~q
p
A
disyuntivo incluyente
12
Q
p_v. q
p
~q
A
disyuntivo excluyente
13
Q
p _v. q
~q
p
A
disyuntivo excluyente