0% encontró este documento útil (0 votos)
61 vistas5 páginas

Tablas de Verdad en Lógica Proposicional

Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
61 vistas5 páginas

Tablas de Verdad en Lógica Proposicional

Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

LÓGICA

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN”


CENTRO PREUNIVERSITARIO
TEMA: TABLAS DE VERDAD
CEPU CICLO II-2022

TABLAS DE VERDAD Es cuando al sujeto se le atribuye una


cualidad o descripción.
Wittgenstein ideó un método para determinar la
autenticidad, o interpretación semántica de Ejemplo:
fórmulas o esquemas proposicionales
denominado TABLAS DE VERDAD. Cada Las personas son seres racionales.
variable que represente a una proposición b) Simples relacionales
verdadera (V) le asignaremos el valor 1 y a cada
variable falsa (F) se le asignará el valor O. Es cuando al sujeto se le compara
mediante términos relaciones (mayor que,
Lógica proposicional, también llamada menor que, contemporáneo de, etc).
Simbólica o Matemática, es aquella parte de la
lógica que estudia las condiciones de validez de Ejemplo:
las proposiciones que pueden ser verdaderas o
falsas, utilizando principios y leyes. El territorio peruano es mayor que el
territorio chileno.
1. Enunciado: Es toda sentencia u oración de
nuestro lenguaje. Ejemplos: 4.2. Proposiciones compuestas:
 La carpeta es de madera. Llamadas también Moleculares, son
 Escribe más legible. aquellas proposiciones que llevan por lo
 ¿Cuál es la edad de Juana? menos un operador lógico, son de
 ¡Oh que bella mañana! diferentes clases o características:

2. Proposición: Es todo enunciado al cual se le a) Proposiciones Negativas


puede asignar un valor de verdad: Verdadero
Ejemplo:
(V) o Falso (F). Ejemplos:
El león no es domestico
 Todo ser humano es mortal.  Forma lógica: - p
 40 es menor que 1.
 Raíz cuadrada de 16 es 4. b) Proposiciones Conjuntivas
 Los latinos miden 4 metros
Ejemplo:
Juan trabaja y estudia
3. Oraciones que no son proposiciones:  Forma lógica: p  q

 Oraciones interrogativas c) Proposiciones inclusivas o débiles


 Oraciones Exclamativas
 Oraciones Dubitativas (dudas) Ejemplo:
 Oraciones Desiderativas (deseos) Elena baila o canta
 Oraciones que utilicen personajes ficticios  Forma lógica: p v q
 Oraciones donde no se hace uso correcto
de los niveles de lenguaje. d) Proposiciones disyuntivas
 Enunciados abiertos exclusivas o fuertes
 Verbos en infinitivo
 Doxas o juicios valorativos Ejemplo: O Vallejo nació en Huamachuco
 Refranes y/o proverbios o en Santiago de Chuco
 Creencias populares  Forma lógica: p v q
 Sinsentidos
 Oraciones que encierran ambigüedades e) Proposiciones implicativas

Ejemplo: Si te esfuerzas en el estudio


4. Clasificación de las proposiciones: entonces triunfaras
 Forma lógica: p → q
4.1. Proposición simple:
f) Proposiciones Replicativas
Llamadas también Atómicas, individuales,
son aquellas proposiciones que no llevan Ejemplo:
Apruebo si estudio
ningún operador lógico, son de dos clases:
 Forma lógica: p ← q
a) Simples predicativas
1
LÓGICA Práctica 01

g) Proposiciones biimplicativas n: número de variables de la fórmula


proposicional.
Ejemplo: 2: combinación de los valores 1 y 0.
Llueve si y solo si hay nubes
 Forma lógica: p ↔ q

h) Proposiciones inalternativas

Ejemplo:
Ni bailas ni cantas
 Forma lógica: p ↓ q ó –p  –q

i) Proposiciones incompatibles

Ejemplo:
No trabajas o no juegas
 Forma lógica: p / q ó –p v –q 7. Regla de los conectores lógicos

Las interrelaciones entre las variables de las


proposiciones simples se evalúan teniendo en
5. Principios lógicos:
cuenta las reglas de los conectores lógicos.
Los signos de colección sirven para separar
La validez de una proposición se puede
conectivos lógicos. Y son los paréntesis, demostrar mediante la siguiente tabla:
corchetes y las llaves.
La jerarquía de los conectivos es el siguiente: La
negación () es la de menor jerarquía, le siguen Operador Lenguaje Lenguaje Tabla de
coloquial simbólico Verdad
la disyunción () y la conjunción () que tienen p p
igual jerarquía, finalmente la condicional () es Negación No  V F
F V
el de mayor jerarquía. Sin embargo, cada p q pq
conectivo puede ser mayor jerarquía si así lo V V V
Conjunción Y  V F F
indica el signo de colección. F V F
Los valores de verdad de la proposición son: F F F
Disyunción p q pq
Inclusiva V V V
Tautología: Todos valores de verdad son O  V F V
Verdaderos. “o” débil F V V
F F F
Contradicción: Todos valores de verdad son p q pq
Falsos. Condicional V V V
o Entonces  V F F
Contingencia: Los valores de verdad son falsos implicador F V V
y verdaderos. F F V
p q pq
Bicondicional V V V
o de Si solo si  V F F
6. Tablas de verdad: Equivalencia F V F
F F V
p q pq
Es una gráfica que sirve para analizar esquemas Disyunción V V F
moleculares, estos esquemas dependen de los Exclusiva O  V F V
F V V
valores de las proposiciones componentes y la “o” fuerte F F F
correcta aplicación de las reglas veritativas p q pq
Negación V V F
correspondientes a sus conectores. de  V F F
la F V F
disyunción F F V
Las variables y los arreglos dependen
p q pq
directamente del número de proposiciones Negación V V F
simples que tenga la proposición a evaluar. Esto de  V F V
la F V V
significa que, si se tuviera una proposición con 3 conjunción F F V
variables, el número de arreglos ya no sería 4 p q pq
V V V
sino 8, por la sencilla razón que el número de Replicador Ya que  V F V
arreglos se determina con la siguiente fórmula: F V F
F F V

Número de arreglos: # filas = 2n

Donde:

2
LÓGICA Práctica 01

EJERCICIOS RESUELTOS 3. Si: p # q = VFVV. Entonces: (p # q) # p,


equivale a:
1. Si: v(p) = V, q y r dos proposiciones
cualesquiera. Hallar el valor de verdad de: A) p  q B) p  q C) p
D) q E) p  q
i. [(r  ~ p)  (q  p)]  p
ii. [(q  (p  q))]  (q  ~p) Solución:
iii. ~ q  (~p  ~q) Construyendo la tabla de verdad a través del
enunciado tenemos:
A) VVF B) VFV C) FVF
D) FFF E) VVV p q p#q (p # q) # p
V V V V V V
Solución: V F F F V V
Del enunciado se tiene: F V V V F F
F F V V F F
i. [(r  ~ p)  (q  p)]  p
[ ]V
V Rpta. C) p

ii. [(q  (p  q))]  (q  ~p)


[(q  (V  q))]  (q  ~V) 4. La función principal de la formula
[(q  q ) ]  (q  F) proposicional:
V  F - [ (- p ↑ q) ↓ - p] es:
F
A) 1111 B) 1000 C) 0111
iii. ~ q (~p  ~q) D) 0000 E) 1010
~ q (~V  ~q)
~ q (F  ~q) Solución:
~ q ~q Construyendo la tabla de verdad a través del
V enunciado tenemos:

Rpta. E) VFV p q - [( -p ↑ q) ↓ -p]


V V V F V V F F
V F V F V F F F
2. De la falsedad de la siguiente formula: F V V V F V F V
 p  q   p   q F F V V V F F V
El valor de verdad de:  p  q   r es:

A) V B) F C) V ó F D) r E) p Rpta. A) 1111

Solución: 5. Dado el esquema lógico definido por la tabla:

 p  q   p   q  ≡ F
Indicar el equivalente de:
V F ≡ F
 p *[( p  q) * (r  s)]
De ello:

 p  q   p ≡ V
V  V ≡V A)  r  s B) r  s C) r  s
D) p  q E) p  q
Entonces: p ≡ F, y p ≡ q, entonces q ≡ F

En:  p  q   r , reemplazamos p y q: Solución:


rpq
p * q ≡ q, entonces en:
rFF
r V  p *[( p  q) * (r  s)]
V ( p  q)*(r  s)
(r  s)
Rpta. A) V
Rpta. B)
3
LÓGICA Práctica 01

6. Si el esquema: EJERCICIOS PROPUESTOS


[(p  q)  (r  s)]  (s  r)
es falso, reducir: [w ν (p  q)]  [(r  s)  p] 1. ¿Cuáles de los siguientes enunciados
representan a una proposición?
I. La ociosidad es la madre de todos los
A) V B) F C) w
vicios.
D) r E) No se sabe
II. √𝑥 2 = −𝑥 , para cualquier valor de x.
III. Martín Vizcarra fue el peor presidente del
Solución:
[(p  q)  (r  s)]  (s  r) ≡ F Perú.
IV. Según la biblia, Lucifer fue un ángel de
V  F
Dios.
Entonces:
(s  r) ≡ F a) I y II b) II y IV c) Solo II
s ≡ V y r ≡ F d) Solo III e) Solo IV
s≡F
2. De las siguientes proposiciones:
Y: [(p  q)  (r  s)] ≡ V I. 7/11 tiene dos cifras periódicas.
(p  q) ≡ (r  s) II. El Perú tiene un presidente cada cinco
años.
Si r ≡ F y s ≡ F, entonces: III. Para cualquier nΝ, 2n + 1 es un número
impar.
(p  q) ≡ (r  s) IV. x = -1 es una raíz de x3 – x2 + x + 1.
(p  q) ≡ (F  F) Determinar cuántas son verdaderas:
(p  q) ≡ V, entonces: p ≡ V, y q ≡ F
a) 3 b)2 c)1 d)4 e) Ninguna
Reemplazamos los valores de p, q, r y s, en:
3. Dadas las siguientes proposiciones:
[w ν (p  q)]  [(r  s)  p]
A: El sol es una estrella.
[w ν (p  F)]  [(F  F)  V] B: La tierra es un satélite.
[w ν F ]  [ V  V] C: Los planetas del sistema solar no
W  V ≡ w pertenecen a la vía láctea.
Hallar el valor de verdad de los siguientes
Rpta. C) w enunciados formales:
I) (AB)~C
7. Sabiendo que la proposición “p” es II) [(AB)A](B~B)
verdadera, ¿En cuáles de los siguientes III) [(A~B)~C](A~B)
casos es suficiente dicha información para Son, respectivamente:
determinar el valor de verdad de las a) 111 b) 000 c) 010
d) 011 e) N.A
siguientes proposiciones?
i. (p  q)  (~p  ~q) 4. Determine la matriz principal del siguiente
ii. (p  q)  (p  r) esquema molecular:
iii. (p  q)  r
A) Solo i B) Solo ii C) i, ii [A  (A  B)]  [A  (B  A)]
D) i, iii E) todas
a) 1001 b) 1110 c) 0001
Solución: d) 1000 e) 0111
Reemplazamos el valor de verdad de p en las
5. Dado el siguiente esquema:
proposiciones:
(A  B)  (A  C) verdadero;
i. (p  q)  (~p  ~q) los valores de las variables son,
(V  q)  ( F  ~q) respectivamente:
V  F = F a) FFF b) VVV c) VFV
ii. (p  q)  (p  r) d) FVF e) VVF
(V  q)  (V  r)
q  V = V 6. En el esquema formal:
iii. (p  q)  r pq  r  s  t u
(V  q)  r
Los valores de verdad en los arreglos 8; 25;
q r
63
No se puede determinar el valor de verdad. Son, respectivamente:
a) 101 b) 011 c) 110
Rpta. C) i, ii d) 000 e) 001

4
LÓGICA Práctica 01

7. Se define el conector # mediante el esquema: 13. Son enunciados abiertos o indefinidos:


1) Es el deber primordial de la persona.
2) X = Y, en donde Y = 5
3) Sen 30° = ½
4) Cos 60° = X, en donde X = ½
5) Todo S es P
Son ciertas:
A) 1, 2 y 3 B) 1 y 5 C) 3, 4 y 5
D) Todas E) Sólo 2 y 3
¿Cuáles de los siguientes enunciados son
fórmulas equivalentes?
14. ¿Cuáles de los siguientes enunciados
I) (p  q ) # q
califican como proposiciones compuestas?
II) [ (p # q) # q ]
1) Alianza Lima y Universitario disputaron el
III) p # (p # q )
segundo lugar del mundialito del Porvenir.
Son ciertas:
2) De acuerdo con una encuesta reciente, el
a) I y II b) II y III c) I y III
26 % de la población tiene desnutrición y
d) Todos e) Ninguna
el resto malnutrición.
3) Corea del Norte no es un país en
desarrollo.
8. Dada la fórmula A cuyos valores de verdad 4) La ciencia económica analiza el
encontrados en su matriz son: 11100011. Los comportamiento humano como una
EPM (Estados Posibles del Mundo) en que la relación entre fines dados y medios
fórmula es falsa son: escasos que tienen usos alternativos.
1) 011 2) 00001111 5) No sean suicidas, la violencia por donde
3) 10101010 4) 100 se le mire es inconveniente.
5) 010 6)11001000 No son ciertas:
Son ciertas: a) 1 y 3 b) Sólo 4 c) 1, 2, 3 y 4
a) 2,3 y 6 b) 1,2 y5 c) 3, 4 y 5 d) 4 y 5 e) 1, 4 y 5
d) Sólo 6 e) 1,4 y 5
15. Dado el siguiente esquema
9. Se define : p ☺ q  FVFV .
Determinar:[(p ☺ q)(p ☺ q)]p
a) p b) q c) p
d) q e) p  q

10. Si en un esquema molecular se tuviera 13


variables proposicionales, ¿cuál será la
combinación de los valores 0 y 1 en el 5º
arreglo? ¿Qué conector debe de ser (*) para satisfacer
a) 0000010011111 b) 0000000100100 las condiciones de la gráfica?
c) 1111111111011 d) 1111111101111 a)  b)  c) 
e) 1111111011011 
d) e) 
11. En el esquema formal: 16. En una comunidad hay dos tipos de personas,
la de los veraces (que siempre dicen la
p(q  (r  (s  ….  (yz)))) verdad) y la de los mentirosos (que siempre
mientes). Un turista se encuentra con dos
¿Cuántos valores verdaderos tiene en su personas (A y B) de dicha comunidad y cada
matriz principal? una de le dice una frase:
 A dice: “B es veraz si y solo si A es
a) 6 b)2 c)4 d) 1 e) 0 mentiroso”.
 B dice: “A es mentiroso o B es veraz”.
12. Si: A = V, - B = V, C = F, ¿qué implicaciones Determinar quiénes son veraces y quienes
son no absurdamente verdaderas? mentirosos.
1) – [(A  – B)  C]
2) (– A v B)  (– C  A) a) A y B son veraces.
3) [(– C v – B v A)  – B] b) A veraz y B mentiroso.
4) – (A  – B) v (C  – A) c) A mentiroso y B veraz.
5) (A v – B)  (C  – A) d) A y B son mentirosos.
Son innegablemente ciertas: e) Faltan datos.
A) 2 y 4 B) 1,3,5 C) 1,2,3
D) 3,4,5 E) Todas – 4

También podría gustarte