Mi primer intento fallido
| P | Q | k | PvQ | Q^K | 1v2 | ¬K | 3v4 |
| 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
Pasamos al bueno:
Exprecion de la Proposición:
P = ((PvQ)v¬(Q^K))^(Kv(Qv¬K))
Tabla de Verdad:
P
|
Q
|
k
|
PvQ
|
Q^K
|
¬(Q^K)
|
¬K
|
(PvQ)v¬(Q^K)
|
(Qv¬K)
|
Kv(Qv¬K)
|
((PvQ)v¬(Q^K))^(Kv(Qv¬K))
|
0
|
0
|
0
|
0
|
0
|
1
|
1
|
1
|
1
|
1
|
1
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
1
|
0
|
1
|
1
|
0
|
1
|
0
|
1
|
0
|
1
|
1
|
1
|
1
|
1
|
1
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
1
|
1
|
1
|
1
|
1
|
0
|
0
|
1
|
0
|
1
|
1
|
1
|
1
|
1
|
1
|
1
|
0
|
1
|
1
|
0
|
1
|
0
|
1
|
0
|
1
|
1
|
1
|
1
|
0
|
1
|
0
|
1
|
1
|
1
|
1
|
1
|
1
|
1
|
1
|
1
|
1
|
1
|
0
|
0
|
1
|
1
|
1
|
1
|
Aquí tenemos la representación en forma de árbol
Expresión. Cuida la ortografía. 10 está vez - a la próxima falta de ortografía va un punto.
ResponderEliminar