VALORES DE VERDAD

La lógica no entra en la valoración de la verdad o falsedad de

las proposiciones, solo establece que una proposición
cualquiera puede tener uno solo valor de verdad: o es
verdadera o es falsa, y no ambos a la vez.
Siguiendo con el modo en que por convención se simboliza la
posible verdad de un enunciado, marcaremos con el símbolo
V a la proposición verdadera y con F a la falsa.

• El hombre es mortal : V
• El numero 2 es impar : F
 CONECTIVOS LÓGICOS

Conectivos lógicos son símbolos, que se utilizan para

definir una operación algebraica entre proposiciones

CONECTIVO SÍMBOLO TIPO DE PROPOSICIÓN

no … ~ Negación
…y…  Conjunción
…o…  Disyunción
Si …entonces …  Condicional
.. si y sólo si …  Bicondicional
O …o …  Disyunción exclusiva
 Formalización del lenguaje
Formalizar el lenguaje natural consiste en
1. Determinar las proposiciones que intervienen para simbolizarlas
con letras o variables proposicionales.
2. Establecer la estructura lógica existente entre las proposiciones
para simbolizarla mediantes las conectivos lógicos.
3. Tener en cuenta la potencialidad de cada conectivo

~ 𝒄𝒐𝒏𝒆𝒄𝒕𝒊𝒗𝒐 𝒅𝒆𝒃𝒊𝒍
∧,∨ 𝒊𝒈𝒖𝒂𝒍 𝒑𝒐𝒕𝒆𝒏𝒄𝒊𝒂
⟹ , ⟺ conectivo fuerte
4. Utilizar signos de agrupación
; ;
 EJERCICIOS
Formalizar:
1. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida
extraterrestre.
2. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para
ello y no tengo que ir a trabajar.
3. Las estrellas emiten luz o los planetas la reflejan, y por otra parte, los
planetas giran alrededor de ellas.
4. Únicamente si Pablo atiende en clase y estudia en casa, no se dará que
fracase en los exámenes y no sea aplaudido.
5. Si no es el caso que Pablo atiende en clase y estudia en casa , entonces
fracasará en los exámenes y no es aplaudido.
6. Si la gorila es atractiva, el gorila sonreirá abiertamente ó será infeliz. Si
no es feliz, no procreará en cautividad .Por tanto, si la gorila es
atractiva, entonces, si el gorila no sonríe abiertamente, no procreará en
cautividad.
 TABLAS DE VERDAD
Son tablas en las cuales se determina los valores de verdad y falsedad de
proposiciones
Donde los valores de verdad de las proposiciones simples están
determinadas según las filas por la regla 2𝑛
Y distribuidas en columnas mitad verdades y mitad falsedades . Y las
siguientes columnas de la misma manera
En los valores de verdad de la proposición compuesta se pone primero los
valores de la operación mas débil hasta la mas fuerte teniendo en cuenta
también los signos de agrupación

Proposiciones simples Proposición compuesta

Valores de verdad Valores de verdad
 NEGACION
Este conector proposicional es el único que actúa sobre una única
proposición y consiste, dada una proposición, en su negación.
Ejemplo:
P: “Hoy llueve”. Su negación será ~P: “Hoy no llueve”.
Tabla de verdad
los valores de la negación de una proposición, -P , son los contrarios a los
valores que adopte la proposición P. Es decir, si una proposición P es
verdadera, su negación P es falsa, y si P es falsa, su negación es
verdadera.
El numero de valores será: 21 = 2

P ~P
V F
F V
 CONJUNCIÓN
Este conector, como el resto de conectores que siguen, necesita de dos
proposiciones P y Q para su utilización.
Expresa la circunstancia de que ambas proposiciones se verifican a la vez.
Ejemplo: “Llueve y hace frío”. 𝑝∧𝑞
Tabla de verdad.
la conjunción de dos proposiciones será cierta únicamente cuando sean
ciertas las dos proposiciones componentes. En todos los demás casos, será
falsa.
El numero de valores será: 22 = 4
𝑝 𝑞 𝑝 ∧ 𝑞
𝑉 𝑉 V
V F F
F V F
F F F
 DISYUNCION INCLUSIVA
Indica la circunstancia de que pueda verificarse una de las
proposiciones, P, o la otra, Q, o bien ambas proposiciones P y Q a
un tiempo (una proposición no excluye a la otra).
Ejemplo:
“Mirar el paisaje o pintar un cuadro”. 𝑝 ∨ 𝑞
Tabla de verdad.
será falsa tan solo cuando las dos proposiciones P y Q lo sean al
mismo tiempo falsas.
𝑝 𝑞 𝑝∨𝑞
V V V
V F V
F V V
F F F
 DISYUNCION EXCLUSIVA
Indica la circunstancia de que pueda verificarse solo una de las
proposiciones, P, o la otra, Q, pero no ambas proposiciones P y Q
a un tiempo (una proposición excluye a la otra).
Ejemplo:
"Nos vamos o nos quedamos" 𝑝 ∨ ഥ𝑞
Tabla de verdad.
será falsa cuando las dos proposiciones P y Q lo sean al mismo
tiempo verdaderas o falsas.
𝑝 𝑞 𝑝∨ഥ𝑞 ∆
V V F
V F V
F V V
F F F
 CONDICIONAL
Está relacionado con una posible relación causal (causa-efecto)
entre las proposiciones componentes, sino que hace referencia a la
forma externa “si... entonces...”
Ejemplo : “Si llueve, entonces saldré al campo”. 𝑝 ⟹ 𝑞
Tabla de verdad.
será falsa solo cuando la primera proposición P sea verdadera y la
segunda proposición Q sea falsa.

𝑝 𝑞 𝑝⟹𝑞
V V V
V F F
F V V
F F V
 BICONDICIONAL
Su presencia en el contexto de una proposición se reconoce
por las partículas gramaticales “si y sólo si”, que pueden
estar, implícitas en la proposición,
Ejemplo: “Aprobaras, si y sólo si estudias” 𝑝 ⟺ 𝑞
Tabla de verdad.
será verdadera cuando las dos proposiciones P y Q lo sean al
mismo tiempo verdaderas o falsas.
𝑝 𝑞 𝑝⟺𝑞
V V V
V F F
F V F
F F V
 EJERCICIOS

Construir las tablas de verdad de las proposiciones compuestas