tablas de verdad

TALLER TABLAS DE VERDAD

1. Construya las tablas de verdad de los siguientes enunciados y clasifique su resultado.
a. (Np)→N[N (q↔p) v Nq ]
b. N ( q^r ) ↔ N[ (Np v Nr) v (Nq→p)
c. N[N (Nq v Nr) ^ N (r→N (p v q))]

2. Invente y construya la tabla de verdad de un enunciado cuyo resultado sea
a. Falacia de cuatro renglones.
b. Tautología de cuatro renglones.
c. Contingencia de cuatrorenglones iniciando en V.
d. Contingencia de 4 renglones de V,F,V,F.

3. Con las proposiciones:
P: 2 es primo
q: 2 es par
r: 2 es entero
Escriba el argumento que describe los enunciados del punto 1.
4. Determine si los siguientes enunciados son equivalentes entre sí.
a. N ( p→q) ≡ p^Nq
b. N (p v q) ≡ N[ (Np v q) ^ (Nq v p)]
c. N [q → (r^p) ] ≡ p→ N(q v r)

5. Determine explícitamentelas proposiciones y simbolice cada uno de los siguientes argumentos.
a. Si no es cierto que a la vez 2+1≠4 y 4 no es no par sii o 2 es impar o 4 es impar.
b. O no es cierto que si 4 es par entonces 23≠7 o que a la vez 4 es impar y 23 no es 7.
c. Ni si 2 es impar entonces 2 es entero ni o 4 es racional o 4 no es no par.
d. A la vez no se tiene que si 4 no es un no múltiplo de 2 sii o 2 es par oimpar y 4 es par.

6. Asigne valores de verdad a cada una de las proposiciones del punto anterior y determine el valor de verdad de cada enunciado.

7. Determine si cada una de las siguientes afirmaciones son verdaderas o falsas.
a. En el enunciado: [Nr→ (s^p)]↔ Nq se requieren 9 columnas para resolver su tabla.
b. El enunciado anterior requiere 8 filas para ser resuelta.
c. Si p,r: V y qes F el valor de verdad del enunciado es F.
d. El enunciado genera una tabla de verdad cuyo resultado es: VVFFVFFVVVVVFFVF.

8. En base a los siguientes enunciados de tablas construya el enunciado inicial.


a.
1
2
3
4
5
6
7
8
9
10
p
q
r
Nq
Nr
2^5
3v 6
N6
N7
9^8

b.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
p
q
r
Np
Nq
Nr1v2
N7
8→3
N9
10^4
11v5
6→1
N13

c.
1
2
3
4
5
6
7
8
9
10
11
12
p
q
r
Np
Nr
5^2
4v5
6→7
N8
9v 3
10↔1
11→4

9. En cada uno de los siguientes enunciados si q:V y r:F hallar el valor de p para que el valor de verdad de todo el enunciado sea V.
a. N (q→Nr) ↔ N[(Np)→(q^r)]
b. P↔ N[q→ N( (p^Nq) v (r^q))]
c. (Nq→ p) v N[ (q^r)↔ N (q v r)]
d. (Nq ^ Np) ^ N[ (p→r) v (Nrv Np)]

10. Para cada uno de los enunciados del punto 9 pronostique cuantas filas (f) y columnas (c) se requieren para hacer la tabla.

11. Coloque los paréntesis necesarios para organizar correctamente las siguientes expresiones:
a. Np→ Nq ^ r ^ s↔Nw
b. P v N Nq v r → Ns↔t




SOLUCION:

1. Construya las tablas de verdad de los siguientes enunciados y clasifique su resultado.
a.(Np)→N[N (q↔p) v Nq ]
1
2
3
4
5
6
7
8
9
p
q
Np
Nq
2↔1
N5
6v 1
N7
5→8
v
v
f
f
v
f
f
v
v
v
f
f
v
f
v
f
v
v
f
v
v
f
f
v
v
f
f
f
f
v
v
v
f
v
f
f

b. N ( qr ) ↔ N[ (Np v Nr) v (Nq→p)
1
2
3
4
5
6
7
8
9
10
11
12
13
p
q
r
N1
N3
N2
6v1
4v5
7v8
N9
2^3
N11
12↔11
V
V
V
F
F
F
F
F
F
V
V
F
F
V
V
F
F
F
V
V
F
VF
F
V
F
V
F
V
F
V
F
F
V
V
F
F
V
F
V
F
F
F
V
V
V
V
V
F
F
V
F
F
V
V
V
F
F
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
V
F
F
V
F
F
F
V
V
V
F
V
V
V
F
F
V
F
F
F
F
V
V
V
F
V
V
F
F
V
F

c. N[N (Nq v Nr) ^ N (r→N (p v q))]
1
2
3
4
5
6
7
8
9
10
11
12
13
p
q
r
N2
N3
1v2
N6
3→7
N8
4v5
N10
11^9
N12
V
V
V
F
F
FV
V
F
F
V
F
V
V
V
F
F
V
F
V
V
F
V
F
F
V
V
F
V
V
F
V
F
F
V
V
F
F
V
V
F
F
V
V
V
F
V
F
F
V
F
V
F
V
V
F
F
V
F
F
V
F
V
V
F
F
V
F
F
V
V
F
V
F
V
F
F
V
F
F
V
V
F
F
V
V
F
V
F
F
V
F
F
F
V
V
F
V
V
F
F
V
F
V

2. Invente y construya la tabla de verdad de un enunciado cuyo resultado sea :

a. Falacia de...