Está en la página 1de 4

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN” LÓGICA

CENTRO PREUNIVERSITARIO
TABLAS DE VERDAD
CICLO I CEPU 2021 01

La Lógica viene siendo una de las CONTINGENCIA: Los valores de verdad


herramientas importantes no solo para el son falsos y verdaderos.
diseño y funcionamiento de las
5. Conectivos lógicos :
computadoras, cuya estructura interna se
Son símbolos usados para relacionar
basa en relaciones lógicas (Circuitos,
proposiciones simples para formar
Compuertas, etc.) sino también en las
proposiciones compuestas.
formas de pensar y deducir conclusiones
validas acerca del conocimiento científico. 6. Tablas de verdad : La validez de una
Lógica proposicional también llamada proposición se puede demostrar mediante
Simbólica o Matemática, es aquella parte de las siguientes tablas :
la lógica que estudia las condiciones de Sean “p” y “q” dos proposiciones
validez de las proposiciones que pueden ser
verdaderas o falsas, utilizando principios y
leyes.
Operador Lenguaje Lenguaje Tabla de
1. Enunciado :
coloquial simbólico Verdad
Es toda sentencia u oración de nuestro
lenguaje. Negación  p p

No V F
2. Proposición :
Es todo enunciado al cual se le puede F V
asignar un valor de verdad: Verdadero (V) o
 p q pq
Falso (F).
V V V
3. Clasificación de las proposiciones :
Conjunción Y V F F
Proposición simple o Atómica :
Son aquellas que poseen una sola F V F
proposición. F F F
Proposición compuesta o molecular: Disyunción p q pq
Son aquellas que están formadas por la
Inclusiva V V V
reunión de dos o más proposiciones.
O  V F V
4. Principios lógicos
“o” débil F V V
Los signos de colección sirven para separar
conectivos lógicos. Y son los paréntesis, F F F
corchetes y las llaves. p q pq
La jerarquía de los conectivos es el Condicional V V V
siguiente: La negación () es la de menor
o Entonces  F F
jerarquía, le siguen la disyunción () y la
implicador V
conjunción () que tienen igual jerarquía,
finalmente la condicional () es el de F V V
mayor jerarquía. Sin embargo, cada F F V
conectivo puede ser mayor jerarquía si así
p q pq
lo indica el signo de colección.
Bicondicional V V V
Los valores de verdad de la proposición
o de Si solo si  V F F
son:
Equivalencia F V F
TAUTOLOGIA : Todos valores de verdad
son Verdaderos. F F V

CONTRADICCION: Todos valores de Disyunción p Q pq

verdad son Falsos. Exclusiva V V F

1
LÓGICA Práctica 01

O  V F V ( p  q) → ( r v t ) = F
“o” fuerte F V V V → F
pq=V rvt=F
F F F
V V F F
Negación p Q pq

de
p y q son verdaderas
V V F

la  V F F 3) ¿Cuáles de las siguientes proposiciones


disyunción F V F condicionales son tautologías?
I.- ~ p → (p v q)
débil F F V
II.- ( p v q) → ( p ↔ q)
Negación p Q pq III.- ( p ∆ q) → (p v q)
a)Solo I b)Solo II c)Solo III
de V V F
d) II y III e) I y II
la  V F V Solución
conjunción F V V
I.- ~ p → (p v q)

F F V pq ~ p → (p v q)
p Q pq VV F V V
VF F V V
V V V FV V V V
Replicador Ya que  V F V FF V F F
Contingencia
F V F
II.- ( p v q) → ( p ↔ q)
F F V
pq ( p v q) → ( p ↔ q)
VV V V V
EJERCICIOS RESUELTOS VF V F F
FV V F F
1) De las expresiones siguientes, indicar FF F V V
cuántas son proposiciones: Contingencia
 La capital del Perú es Puno III.- ( p ∆ q) → (p v q)
 ¿Cómo te sientes?
 El gato es un roedor pq ( p ∆ q) → (p v q)
 El día tiene 24 horas VV F V V
 Un triángulo isósceles tiene dos lados VF V V V
iguales en longitud. FV V V V
a)1 b)2 c)3 d)4 e)5 FF F V V
Solución Tautología
 La capital del Perú es Puno
(Proposición Falsa) 4) Si la siguiente Proposición
 ¿Cómo te sientes? (Enunciado) ~ ( p  q ) → (p → r)
 El gato es un roedor (Proposición es falsa, podemos afirmar:
Falsa) I.- p  q es falsa
 El día tiene 24 horas (Proposición II.- r→ q es verdadera
verdadera)
III.- p  ~q es verdadera
 Un triángulo isósceles tiene dos lados
Son ciertas
iguales en longitud. (Proposición
a)Solo I y II b)Solo II y III
verdadera)
c)Solo I y III d)Todas e)Ninguna
Solución
~ ( p  q ) → (p → r) = F
2) Si la proposición compuesta
V → F =F
( p  q) → ( r v t ) es falsa. Indicar las
proposiciones que son verdaderas. Si: p → r = F , entonces: V → F=F , p=V
a) p y r b) p y q c)r y t r=F
d)q y t e) p y t
Si: ~ ( p  q )=V, entonces p  q = F
Solución
2
LÓGICA Práctica 01

V  q = F , q =F
I.- p  q es falsa EJERCICIOS PROPUESTOS
V  F es falsa
F es falsa (Cierta) 1. ¿Cuántas no son proposiciones?
II.- r → q es verdadera ¡Qué tal calor!
F → F es verdadera 2+4=8
V es verdadera (Cierta) Un cuadrado es un polígono
III.- p  ~q es verdadera ¿Qué hora es?
V  ~F es verdadera Cuzco es la capital de Argentina
V  V es verdadera
V es verdadera (Cierta) a)1 b)2 c)3 d)4 e)5

2. Dada la proposición
5) Determinar el valor de verdad de las
~[(r v q) → ( r → p) ] = V , q es una
siguientes proposiciones:
proposición falsa. Hallar el valor de verdad
I.- Si: 5>9 entonces 3 + 3 = 6
de las siguientes proposiciones:
II.- No es cierto que 4 + 4 = 7 si y solo si
I.- r → (~p v ~q)
5 + 5 = 11
III.- Es falso que Tacna sea la capital del II.- [ r ↔ (p  q) ↔ ( q  ~p) ]
Perú, entonces Lima s la capital de III.- ( r v ~p)  (q  p)
Tacna.
IV.- Tacna está en el Perú o el Perú está a)VVV b)VVF c)VFF d)FFF e)FFV
en Tacna.
a) VFFV b) VVFF c) FVFV 3. La proposición compuesta
d) VFVF e) FFFV (p∧q) →(q→ r)
Solución es falsa, podemos afirmar:
I.- Si: 5>9 entonces 3 + 3 = 6
F → V I.- p  q es falsa
V II.- q → r es verdadera
II.- No es cierto que 4+4=7 si y solo si III.- p  ~q es falsa
5+5=11 a)Solo I b)Solo II
~ (F ↔ F) c)Solo III d)I y II e)Todas
~ V
F 4. La proposición
III.- Es falso que Tacna sea la capital del [ r  ~(p→q)]  ~[p~(s→q)] es verdadera.
Perú, entonces Lima es la capital de Los valores de verdad de las proposiciones
Tacna. p, q, r y s son respectivamente:
V → F
F a)VFVF b)VFFF
IV.- Tacna está en el Perú o el Perú está c)VFFV
en Tacna. d)VFFF e)FFVF
V v F
V 5. Sabiendo que la proposición p es
verdadera, ¿en cuáles de los siguientes
casos es suficiente dicha información
para determinar el valor de verdad de
las siguientes proposiciones?

I. (p ˅ q) ↔ (∿ p ˄ ∿q)
II.- (p ˄ q) → (p ˅ r)
III.- (p → q) → r

a) Solo I b) Solo II c) I y II
d) I y III e) Todas

3
LÓGICA Práctica 01

6. De la falsedad de la proposición: 14. Sabiendo que: p  p  q es falso; el


valor de verdad de:
(p → ∿q) ˅ (∿r →s)
se deduce el valor de verdad de: p  p  q  r  t es:
A) V B) F C) V ó F D) V y F E) P
i. (∿p ˄ ∿q) v ∿q
ii. (∿r v q) ↔ [(∿q v r) ˄ s] 15. De la falsedad de: p  q  r  t.
iii. (p → q) →[(p v q) ˄ ∿q] Luego: r  p  r  t; es:

Son respectivamente A) V B) F C) V ó F D) V y F E) T
a)VFV b) FFF c) VVV 16. Dado el esquema:
d) FFV e)VVF p  q  p  r   q  r,
verdadero; el valor de verdad de: p 
7. Si el esquema:
[(p ˄ ∿q) ↔(r → s)] → (∿s → r) es falsa q  r es:
reducir: A) V B) F C) V ó F D) No se sabe
[(w v (p ˄ q)] ↔[(r → s) ˄ p] E)V y F
a) V b) F c) w 17. Si se sabe que la negación de p  q
d) r e) w ˄ p  r es verdadera, entonces el valor de
verdad de:
8. Dado el esquema: p  r  p  q q  r  q  r  t es:
falso, luego los valores de p, q y r son:
A) V B) F C) V ó F D) V y F E) R
A) 100 B) 101 C) 001 D) 000 E) N. A.
18. Sabiendo que la proposición:
9. ¿Que valor debe tomar la variable “C” p  r  q  p  q  s  s 
para que la formula sea falsa?. p  t
  B  D    D  C     A  B 
Es siempre falso, luego:
A) V B) F C) V o F D) No se sabe
E) N. A. t  p  q  r  p  r  s es:

10. Si el esquema p  p  q  q; es A) V B) F C) V ó F D) s E) P


verdadero, cuales son los valores de
verdad de “p” y “q” respectivamente. 19. Si se define “p * q”, por la tabla:

A) VV B) VF C) FF D) FV E) F.D. p q p*q
V V V
11. Si “s” es verdadera y la proposición: V F V
  s  p    p  q     p  r  es F V F
falsa, indique los valores de verdad de F F V
p, q y r. Simplificar:

A)VVV B) VFV C) VFF D) FFV E) VVF M=  p * q* p  (q * p)


12. Hallar los valores de verdad de p, q, r. a) p v q b) p → q c) p  q d)  p  q e) p
Si “s” es verdadero y la proposición:
20. Si se sabe que la expresión:
  p  q     q  s     r  s  es   ps    p  r    q  s es verdadera
falsa.
Hallar el valor de verdad de:
A) VFV B) VVV C) VVF D) FFF E) VFF
I.  r  x   p  q  s 
13. Se sabe que el esquema es falso y “t”
es verdadero, indicar los valores de r, s II.    q  p  s  w
y w; respectivamente: III.  q  s    p  r 
 r  s   t    s  w  a) VVF b) VVV c) FFF d) VFV e)
FVV
A) VFV B) VVF C) VVV D) FVV E)
FVF
Jesucristo es el Señor
4

También podría gustarte