Tablas de verdad - Jose Ricardo Gonzalez Lara

•

Outros

Desafío México Veintitrés

5/5/2023

¡Estudia con miles de materiales!

Entonces, ¿te gustó este material?

Ayude a animar a otros estudiantes a mejorar el contenido

¿Te gustó este material? ¡Compartir! 🧡

Diversos

23.295 Materiales compartidos

Descarga la aplicación para disfrutar aún más

Lea materiales sin conexión, sin usar Internet. Además de muchas otras características!

Vista previa del material en texto

Tablas de verdad 
1 . Elabora las tablas de verdad para las proposiciones siguientes. 2 . Califica la tabla de verdad 
3 . Para los argumentos expresados en los incisos b,d y e: 
● Exprésalos en forma argumental 
● Califica el argumento 
a) 
	p 
	q 
	p → (p→q) 
	pvq 
	[ p → (p → q)] v ( pvq) 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	v 
	f 
	f 
	v 
	f 
	v 
 
La proposición compuesta es una tautología (Argumento 
válido). 
b) 
	p 
	q 
	r 
	¬p 
	¬q 
	¬p→q 
	pʌ¬q 
	(( pʌ¬q) 
vr ) 
	( ¬p 
→q) → 
(( pʌ¬q) vr ) 
	v 
	v 
	v 
	f 
	f 
	v 
	f 
	f 
	f 
	v 
	v 
	f 
	f 
	f 
	v 
	f 
	f 
	f 
	v 
	f 
	v 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	v 
	f 
	v 
	f 
	f 
	f 
	f 
	v 
	f 
	v 
	f 
	v 
	f 
	f 
	f 
	f 
	f 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	f 
	f 
	f 
	v 
	v 
	f 
	f 
	f 
	v 
La proposición compuesta es un a 
Contingencia (Argumento invalido). 
Premisa: p→q 
Conclusión: (pʌq) v r
c) 
	p 
	q 
	
	p v ~q 
	~p 
	~~q 
	~p ^ 
~~q
	ʌ
	↔ 
ʌ
	v 
	v 
	f 
	v 
	f 
	v 
	v 
	f 
	f
	v 
	f 
	v 
	v 
	f 
	f 
	f 
	v 
	f
	f 
	v 
	f 
	f 
	v 
	v 
	v 
	f 
	f
	f 
	f 
	v 
	v 
	v 
	f 
	f 
	v 
	f
La proposición compuesta es una Contradicción (Argumento invalido). d)
	p 
	q 
	r 
	s 
	~q 
	~s 
	r ʌ s 
	~qv( 
r ʌ s) 
	p→[ 
~qv( 
r ʌ s) 
	pʌ~s 
	{{ p→ [ ~qv( 
r ʌ 
s)]} ʌ ( pʌ~ 
s)} 
	{{ p→ [ ~qv( 
r ʌ 
s)]} ʌ 
( pʌ~ 
s)}→ 
~q 
	v 
	v 
	v 
	v 
	f 
	f 
	v 
	v 
	v 
	f 
	f 
	v 
	v 
	v 
	v 
	f 
	f 
	v 
	f 
	f 
	f 
	v 
	f 
	v 
	v 
	v 
	f 
	v 
	f 
	f 
	f 
	f 
	f 
	f 
	f 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	f 
	f 
	f 
	v 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	f 
	v 
	v 
	f 
	v 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	v 
	v 
	f 
	f 
	v 
	v 
	f 
	f 
	v 
	v 
	f 
	f 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	v 
	f 
	v 
	v 
	v 
	f 
	f 
	v 
	v 
	v 
	f 
	f 
	v 
	f 
	v 
	v 
	f 
	f 
	v 
	f 
	f 
	v 
	f 
	f 
	v 
	f 
	v 
	f 
	v 
	f 
	f 
	f 
	f 
	v 
	f 
	f 
	v 
	f 
	v 
	f 
	f 
	f 
	v 
	f 
	f 
	v 
	f 
	f 
	v 
	f 
	f 
	v 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	f 
	v 
	f 
	f 
	v 
	f 
	v 
	v 
	f 
	v 
	v 
	f 
	f 
	v 
	f 
	f 
	f 
	v 
	v 
	f 
	f 
	v 
	v 
	f 
	f 
	v 
	f 
	f 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	f 
	f 
	v 
L a proposición compuesta es una tautología (Argumento 
Válido) 
Premisa 1: p→[qv(r ʌ s)] 
Premisa 2: pʌs 
Conclusión: ~q 
e) [( ~pʌq) v (pv ~q)] →{[p→(qvr)] → (p→r)} 
	p 
	q 
	r 
	~p 
	~q 
	~pʌ 
q 
	pv 
~q 
	[( ~p ʌq) 
v 
( pv 
~q)] 
	qvr 
	{[ p 
→(q 
vr)] 
	[( ~p ʌq) 
v 
( pv 
~q)] 
→{[ 
p→( 
qvr) 
] 
	p→r 
	[( ~p 
ʌq) 
v 
( pv 
~q)] 
→{[ 
p→( 
qvr) 
] → 
( 
p→ 
r)} 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	f 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	v 
	f 
	v 
	f 
	v 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	f 
	v 
	v 
	f 
	f 
	f 
	f 
	v 
	f 
	v 
	v 
	v 
	f 
	v 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	v 
	f 
	v 
	f 
	v 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	v 
	v 
	v 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	v 
La proposición compuesta es un a 
Contingencia (Argumento invalido). 
Premisa: (~pʌq) v (pv ~q) 
Conclusión: [p→(qvr)] → (p→r) 
4 . Cambia a forma proposicional los siguientes argumentos. 
5 . Determina para cada uno, el número de combinaciones entre los valores de verdad de las proposiciones simples que lo integran (renglones), elabora la tabla de verdad, califica tabla y argumento. 
B){{[ E→(GVH)] ʌ [G→(H→K)]] ʌ ~K} →(~E V ~G) 
	E 
	G 
	H 
	K 
	L 
	~K 
	~E 
	~G 
	GVH 
	E→( 
GVH 
) 
	H→K 
	G→( 
H→K 
) 
	[ G→( 
H→K 
)]] ʌ 
~K} 
	{{[ E 
→(G 
VH)] 
ʌ 
[ G→( 
H→K 
)]] ʌ 
~K} 
	~E V 
~G 
	{{[ E 
→(G 
VH)] 
ʌ 
[ G→( 
H→K 
)]] ʌ 
~K} 
→(~ 
E V 
~G) 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	V 
	V 
	F 
	F 
	F 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	V 
	F 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	F 
	F 
	F 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	F 
	F 
	F 
	V 
	V 
	V 
	F 
	V 
	V 
	F 
	F 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	V 
	F 
	F 
	F 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	V 
	V 
	V 
	V 
	F 
	F 
	F 
	V 
	V 
	V 
	F 
	F 
	F 
	V 
	F 
	F 
	V 
	V 
	V 
	V 
	F 
	F 
	F 
	V 
	V 
	F 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	V 
	V 
	F 
	F 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	V 
	F 
	V 
	V 
	F 
	V 
	V 
	V 
	F 
	V 
	F 
	F 
	V 
	V 
	V 
	F 
	V 
	F 
	F 
	V 
	F 
	V 
	V 
	V 
	F 
	V 
	F 
	F 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	V 
	F 
	F 
	V 
	V 
	V 
	F 
	V 
	V 
	V 
	F 
	F 
	V 
	F 
	F 
	F 
	V 
	F 
	F 
	V 
	V 
	V 
	F 
	V 
	V 
	V 
	F 
	F 
	F 
	V 
	V 
	F 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	V 
	V 
	V 
	F 
	F 
	F 
	F 
	V 
	F 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	V 
	V 
	V 
	V 
	F 
	V 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	V 
	V 
	V 
	F 
	F 
	V 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	V 
	V 
	F 
	V 
	V 
	V 
	F 
	V 
	V 
	F 
	F 
	F 
	F 
	V 
	V 
	F 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	V 
	V 
	F 
	F 
	F 
	F 
	V 
	V 
	F 
	V 
	F 
	V 
	V 
	F 
	V 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	V 
	F 
	V 
	F 
	F 
	V 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	V 
	F 
	F 
	V 
	V 
	V 
	F 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	V 
	F 
	F 
	F 
	V 
	V 
	F 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	V 
	V 
	V 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	V 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	V 
	F 
	F 
	V 
	V 
	V 
	V 
	V 
	F 
	V 
	F 
	F 
	V 
	V 
	F 
	F 
	F 
	V 
	V 
	F 
	V 
	V 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	F 
	V 
	F 
	F 
	V 
	V 
	F 
	V 
	V 
	V 
	V 
	V 
	V 
	V 
	F 
	F 
	F 
	F 
	V 
	V 
	V 
	V 
	F 
	V 
	V 
	V 
	F 
	F 
	V 
	V
	F 
	F 
	F 
	F 
	F 
	V 
	V 
	V 
	F 
	V 
	V 
	V 
	F 
	F 
	V 
	V
Contingencia (Argumento invalido).
{[[(p→q) ʌ (p→(p→r))] ʌ [q→(r→s)]]} → (s→p) 
	p 
	q 
	r 
	s 
	p→q 
	p→r 
	{[[( p→ q) ʌ 
( p→(p 
→r))] 
	r→s 
	q→(r→ 
s) 
	{[[( p→ q) ʌ 
( p→(p 
→r))] ʌ 
[ q→(r 
→s)]]} 
	s→p 
	{[[( p→ q) ʌ 
( p→(p 
→r))] ʌ 
[ q→(r 
→s)]]} 
→ 
( s→p) 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	v 
	v 
	f 
	v 
	v 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	v 
	f 
	f 
	v 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	v 
	v 
	f 
	v 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	v 
	f 
	f 
	v 
	f 
	f 
	v 
	f 
	v 
	v 
	v 
	f 
	f 
	v 
	f 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	f 
	f 
	f 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	f 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	f 
	v 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	f 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	f 
	v 
	f 
	v 
	v 
	v 
	f 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	f 
	f 
	f 
	f 
	f 
	f 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
	v 
Contingencia (Argumento invalido).