Pedro Pablo Mansilla Sazo 5990-15-13613

tablas de verdad

1. Si utilizo una gasolina sin aditivos, mi auto corre bien, el auto corre bien, por lo tanto utilizo él una gasolina sin aditivos.

Utilizo gasolina sin aditivos

Mi auto corre bien
1
p pꓥq [(Pꓥq) ꓥ q)] →p P q (pꓥq)
q q V V V
p V F F
F V F
F F F

2. El banco no ha sido robado y la policia no esta investigando. Si la policia esta investigando entonces los asaltantes fueron c
Por consiguiente, el numero que la policia esta ivestigando y los asaltantes fue cinco.

El banco ha sido robado

La policia esta investigando
Los asaltantes fueron cinco p q
V V
V V
p ~p∧~q [(~p∧~q) ∧ (q→r)] →(q ∧r) V F
q q→r V F
r q∧r F V
F V
F F
F F

3. Todo camino es de tierra. Alguna vereda angosta es de tierra, por lo tanto, alguna vereda es un camino.

Todo camino es de tierra

Alguna vereda angosa es de tierra p q r (p∧q)
Alguna vereda es un camino V V V V
V V F V
p p (p∧q)→r V F V F
q q V F F F
r r F V V F
F V F F
F F V F
 F F F F

4. Si Carlos logra finalizar sus estudios, Eduardo hará un viaje a Europa. Carlos finaliza sus estudios
[(pVq)∧(p→s)]
dado que
→ (q→r)
va a Europa.
Por lo tanto, Eduardo hará un viaje a Europa cuando Carlos viaje a Europa.

Carlos logra finalizar sus estudios

Eduardo hará un viaje a Europa
Carlos viaje a Europa p q
Va a Europa V V
V V
p pVq V V
q p→s V V
r q→r V F
s V F V
V F
V F
F V
F V
F V
F V
F F
F F
F F
r s
V V
V F
F V
F F
V V
F
F V
F F
V V
V F
F V
F F
V V
V F
F V

5. Todo sofware es infalible, ningúnpvirus esp→q (p→q)→r

Todo sofware es infalible
El virus es sofware
El virus es infalible
sofware, de manera que ningún virus es infalible.
q r p q
r V V
V V
V F
V F
F V
F V
F F
F F

6. Todo troyano es un virus, algún dispositivo es un troyano, por lo tanto, algún dispositivo es un virus.

Todo troyano es un virus

Algun dispositivo es un troyano
Algun dispositivo es un virus
p pꓥq
q r
p q
V V
(pꓥq)→r V V
V F
1
r (pꓥq)
V V
F V
V F
 r V F F F
F V V F
F V F F
F F V F
F F F F

[p ꓥ (q→r)] ꓥ [( ~sꓥr) → s] →p

7 p p
q q→r p q r s
r ~sꓥr V V V V
s s V V V F
p V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F

8.[(p→q)ꓥ(q→r)]→(r→p)
1 2 3 4
p q r (p→q) (q→r) (1ꓥ2) (r→p)
V V V V V V V
V V F V F F V
V F V F V F V
V F F F V F V
F V V V V V F
F V F V F F V
F F V V V V F
F F F V V F V

9.[(p→q)ꓥ (r→s) ꓥ (~pv~r)] →(~q v ~s)

1 2 3
p q r s ~p ~q ~r
V V V V F F F
V V V F F F F
V V F V F F V
 V V F F F F V
V F V V F V F
V F V F F V F
V F F V F V V
V F F F F V V
F V V V V F F
F V V F V F F
F V F V V F V
F V F F V F V
F F V V V V F
F F V F V V F
F F F V V V V
F F F F V V V

10. [pꓥ(q→r)], (rꓥ~s), Δ~s

1 2 3
p q r s ~s (q→r) (pꓥ2)
V V V V F V V
V V V F V V V
V V F V F F F
V V F F V F F
V F V V F V V
V F V F V V V
V F F V F V V
V F F F V V V
F V V V F V F
F V V F V V F
F V F V F F F
F V F F V F F
F F V V F V F
F F V F V V F
F F F V F V F
F F F F V V F

11. [(p→q) ꓥ (p→r)] → (q→r)

1 2 3 4
p q r (p→q) (p→r) (1ꓥ2) (q→r)
V V V V V V V
V V F V F F F
V F V F V F V
V F F F F F V
F V V V V V V
F V F V V V F
F F V V V V V
F F F V V V V
zo él una gasolina sin aditivos.

2 3
(1ꓥ q) (2→p)
V V
F V
F V
F V

entonces los asaltantes fueron cinco.

1 2 3 4 5 6
r ~p ~q (~p∧~q) (q → r) (3∧ 4) (q∧r)
V F F F V F V
F F F F F F F
V F V F V F F
F F V F V F F
V V F F V F V
F V F F F F F
V V V V V V F
F V V V V V F

es un camino.
1

1→r
V
F
V
V
V
V
V
 V

pVq)∧(p→s)] → (q→r) .

1 2 3 4 5
(pVq) (p→s) (1∧2) (q→r) (3→4)
V V V V V
V F F V V
V V V F F
V F F F V
V V V V V
V F F V V
V V V V V
V F F V V
V V V V V
V V V V V
V V V F F
V V V F F
F V F V V
F V F V V
F V F V V

1 2
r (p→q) (1→r)
V V V
F V F
V F V
F F V
V V V
F V F
V V V
F V F

2
(1→r)
V
F
V
 V
V
V
V
V

1 2 3 4 5 6 7
(q→r) ~s (~sꓥr) (p ꓥ 1) (3 → s] (4ꓥ5) (6→P)
V F F V V V V
V V V V F F V
F F F F V F V
F V F F V F V
V F F V V V V
V V V V F F V
F F F F V F V
F V F F V F V
V F F F V F V
V V V F F F V
V F F F V F V
V V F F V F V
V F F F V F V
V V V F F F V
V F F F V F V
V V F F V F V

5
(3→4)
V
V
V
V
F
V
F
V

4 5 6 7 8 9 10
~s (p→q) (r→s) (~pv~r) (5ꓥ6) (8ꓥ7) (~q v ~s)
F V V F V F F
V V F F F F V
F V V V V V F
 V V V V V V V
F F V F F F V
V F F F F F V
F F V V F F V
V F V V F F V
F V V V V V F
V V F V F F V
F V V V V V F
V V V V V V V
F V V V V V V
V V F V F F V
F V V V V V V
V V V V V V V

4 5 6
(rꓥ~s) (3ꓥ4) (5→1)
F F V
V V V
F F V
F F V
F F V
V V V
F F V
F F V
F F V
V F V
F F V
F F V
F F V
V F V
F F V
F F V

5
(3→4)
V
V
V
V
V
F
V
V
 7
(5→6)
V
V
V
V
V
V
F
F
 11
(9→10)
V
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V