1 gasolinera sin adictivos p p→q

auto corre bien q q

Δp

[(p→q)^q]→Δp

p q p→q (p→q)^q [(p→q)^q]→Δp

0 v v v v v
1 v f f f v
2 f v v v f
3 f f v f v

2 El banco ha sido robado p ¬p^¬q

la policia está investigando q q→r
los asaltantes fueron cinco r Δ q^r

[(¬p^¬q)^(q→r)]→Δ(q^r)

p q r ¬p ¬q (¬p^¬q) (q→r)
0 v v v f f f v
1 v v f f f f f
2 v f v f v f v
3 v f f f v f v
4 f v v v f f v
5 f v f v f f f
6 f f v v v v v
7 f f f v v v v

3 NO TIENE SOLUCIONA

4 NO TIENE SOLUCIONA

5 NO TIENE SOLUCIONA

6 NO TIENE SOLUCIONA

7 Alberto llega tarde a su casa p p

El autobús se adelanto q q↔r
Alberto llega temprano a casa r s^r)↔s
El autobús no se paso los altos s Δp
 [p^(q↔r)^(s^r)↔s]→Δp

p q r s (q↔r) p^(q↔r) (s^r)

0 v v v v v v v
1 v v v f v v f
2 v v f v f f f
3 v v f f f f f
4 v f v v f f v
5 v f v f f f f
6 v f f v v v f
7 v f f f v v f
8 f v v v v f v
9 f v v f v f f
10 f v f v f f f
11 f v f f f f f
12 f f v v f f v
13 f f v f f f f
14 f f f v v f f
15 f f f f v f f

8 [(p→q)^(q→r)]→(r→p)

p q r (p→q) (q→r) [(p→q)^(q→r)] (r→p)

0 v v v v v v v
1 v v f v f f v
2 v f v f v f v
3 v f f f v f v
4 f v v v v v f
5 f v f v f f v
6 f f v v v v f
7 f f f v v v v

9 [(p→q)^(r→s)^(¬p v ¬r)]→(¬q v ¬s)

p q r s ¬p ¬q ¬r
0 v v v v f f f
1 v v v f f f f
2 v v f v f f v
3 v v f f f f v
4 v f v v f v f
5 v f v f f v f
6 v f f v f v v
7 v f f f f v v
8 f v v v v f f
9 f v v f v f f
10 f v f v v f v
11 f v f f v f v
12 f f v v v v f
13 f f v f v v f
14 f f f v v v v
15 f f f f v v v

10 [p^(q→r)], (r^¬s), Δ¬s

p q r s ¬s q→r [p^(q→r)]
0 v v v v f v v
1 v v v f v v v
2 v v f v f v v
3 v v f f v v v
4 v f v v f f f
5 v f v f v f f
6 v f f v f f f
7 v f f f v f f
8 f v v v f v f
9 f v v f v v f
10 f v f v f v f
11 f v f f v v f
12 f f v v f v f
13 f f v f v v f
14 f f f v f v f
15 f f f f v v f

11 [(p→q)^(p→r)]→(q→r)

p q r (p→q) (p→r) [(p→q)^(p→r)] (q→r)

0 v v v v v v v
1 v v f v f f f
2 v f v f v f v
3 v f f f f f v
4 f v v v v v v
5 f v f v v v f
6 f f v v v v v
7 f f f v v v v
(¬p^¬q)^(q→r) (q^r) (¬p^¬q)^(q→r)→Δ(q^r)
f v v
f f v
f f v
f f v
f v v
f f v
v f f
v f f
 (s^r)↔s [p^(q↔r)^(s^r)↔s] [p^(q↔r)^(s^r)↔s]→Δp
v v v
v v v
f f v
v f v
v f v
v f v
f f v
v v f
v f v
v f v
f f v
v f v
v f v
v f v
f f v
v f v

[(p→q)^(q→r)]→(r→p)
v
v
v
v
f
v
f
v

¬s (p→q) (r→s) (p→q)^(r→s) (¬p v ¬r)

f v v v v
v v f f v
f v v v v
v v v v v
f f v f v
v f f f v
f f v f v
v f v f v
f v v v v
v v f f v
f v v v f
v v v v f
 f v v v v
v v f f v
f v v v f
v v v v f

r^¬s [p^(q→r)], (r^¬s) [p^(q→r)], (r^¬s), Δ¬s

f f v
v v v
f f v
f f v
f f v
v f f
f f v
f f v
f f v
v f f
f f v
f f v
v f f
f f v
f f v
f f v

[(p→q)^(p→r)]→(q→r)
v
v
v
v
v
f
v
v
[(p→q)^(r→s)^(¬p v ¬r)] (¬q v ¬s) [(p→q)^(r→s)^(¬p v ¬r)]→(¬q v ¬s)
v f f
f v v
v f f
v v v
f v v
f v v
f v v
f v v
v f f
f v v
f f v
f v v
v v v
f v v
f v v
f v v