FORMALIZACIÓN DEL LENGUAJE NATURAL AL LENGUAJE DE LA LÓGICA

PROPOSICIONAL
Formalizar supone una labor de traducción del lenguaje natural al lenguaje de la lógica proposicional. La
formalización tiene dos partes: la de crear un esquema de traducción y la de traducir los distintos nexos
lógicos del lenguaje natural al lenguaje lógico.
Variables o variables lógicos.
La primera parte supone aparear oraciones del lenguaje natural con oraciones del lenguaje formal y hacerlo
de modo uniforme a lo largo de la traducción. Esto no es otra cosa que asignar a cada oración del lenguaje
natural una letra proposicional, tomando en cuenta que, en lógica, las variables que se emplean corresponden
a las letras del alfabeto: “p”, “q”, “r”, “s”, “t” … etc.; se llaman también, variables proposicionales
o lógicas. Se utiliza las variables necesarias para verificar los valores de la proposición.
Ejemplo:
1er termino 2do termino

Tomas y Roberto estudian

p y q

Juan estudia o trabaja

p o q

Si el perro come, entonces no tendrá hambre

Si p entonces q

Actividad:

PROPOSICIONES FORMALIZAMOS
Luis estudia y juega mucho
Luis estudia o Luis juega mucho
Si Luis estudia, entonces aprobará
Luis estudia, si y sólo si va al colegio
Juan o Enrique es tu mejor amigo
Aprobaras matemáticas si y sólo si estudias
Susana y Pedro son compañeros de curso
Me gusta más el pan o las galletas
Si visualizas tus sueños, entonces podrás conseguirlos
Richard viajará a Beni o Pando
Si vives en Pando, entonces hablas el idioma kabineño
Platón es Filosofo y Freud es psicólogo
Miguel es químico o matemático
Toda proposición es verdadera o es falsa
Llueve, si sólo si está nublado
CONECTORES LÓGICOS
La segunda parte es traducir los diferentes nexos del lenguaje natural al lenguaje formal. La simbología más
utilizada es de Miro Quesada. Estos símbolos servirán para reemplazar a las conjunciones que tienen los
términos para realizar la lógica proposicional completa. Para ello tenemos la siguiente tabla:

NOMBRE LENGUAJE NATURAL EJEMPLO O PROPOSICIÓN SÍMBOLO

NEGACIÓN “no” “no es verdad”, “es No está lloviendo 
falso que”, “no ocurre que”
CONJUNCIÓN “y” “pero”, “además”, Está lloviendo y está nublado 
“aunque”, “a la vez”,
“también…”
DISYUNCIÓN “o” “a menos que” Está lloviendo o está nublado 
INCLUYENTE
DISYUNCIÓN “o … o” “o bien…” O está lloviendo o está soleando ⊻
EXCLUYENTE
CONDICIONAL “Si … entonces” “cada Si llueve entonces hará frio →
vez que”, “porque”
BICONDICIONAL “Si y sólo si” “cuando y Llueve si y sólo si está nublado ↔
sólo cuando”, “si, entonces
y sólo entonces”
NEGACIÓN “ni … ni” Ni está lloviendo ni está nublado ↓
CONJUNTA

Estos conectores son los enlaces que unen las proposiciones simples, los cuales son: “y”, “o”, “si…
entonces”, “si sólo si”, etc. Estos también tienen su propio símbolo, así como se mostró en la tabla anterior.
En esa tabla se observó de cuáles son las funciones que cumplen estos conectivos, su escritura en el lenguaje
natural, y su símbolo que le corresponde.
El empleo de los nexos lógicos se transcribe al momento de emplear el lenguaje formal con una serie de
combinaciones, identificando los tipos de proposiciones que ya estudiamos, en muchos de los casos estos
pueden ser incorporados a las fórmulas y estructuras que cada caso nos presenta. Ejemplo:
No es obligación trabajar
p
Juan estudia o trabaja
p  q
Si duermo, entonces descanso
p → q

Leonardo y Cesar estudian

p  q

O Crispín es piloto o es copiloto

p ⊻ q
FORMALIZACIÓN
Consiste en traducir las proposiciones del lenguaje natural (compuesto por palabras y signos) al lenguaje de
la lógica proposicional (basado en símbolos); pero sin perder el significado de la proposición.
Comenzaremos realizando ejemplos simples de cada proposición:

PROPOSICIÓN LENGUAJE NATURAL LENGUAJE LÓGICO

Negación No está lloviendo p
Conjunción Batman y Superman son superhéroes pq
Disyuntiva incluyente Tienes hambre o comiste pq
Disyuntiva excluyente O te gusta cantar o escuchar música p⊻q
Condicional Si la paloma vuela, entonces es ave p→q
Bicondicional Luciana terminara su carrera si y sólo si estudia p↔q
Negación conjunta Ni saldrás ni iras al cine p↓q

Formalicemos las siguientes proposiciones:

1. Seremos responsables, si y sólo si confían en nosotros

2. Aprenderemos en el seminario y nos divertiremos

3. No es verdad que lloverá fuerte

4. Si exponemos el tema, entonces aprenderemos más

5. Brian jugará futbol o jugará futsal

Actividades complementarias

PROPOSICIONES LENGUAJE NATURAL LENGUAJE LÓGICO

Negación

Conjunción

Disyunción incluyente

Disyunción excluyente
 Condicional

Bicondicional

Negación conjunta

FORMALIZACIONES COMPLEJAS
La lógica proposicional no sólo puede realizarse con un conector y dos proposiciones simples, sino que puede
combinar muchas más proposiciones complejas, teniendo cuidado en la realización de juicios. Es por ello,
que necesita de signos de agrupación tales como paréntesis, corchetes y llaves; para que el lenguaje lógico
no sea confuso.
Paréntesis, corchetes y llaves. Estos signos se utilizan para agrupar las proposiciones simples, para
diferenciar las compuestas y también para definir los conectores más importantes.
Llaves
Corchetes
 Paréntesis. Se usa cuando existe un conector que afecte a dos
proposiciones simples.
Paréntesis  Corchetes. Se emplea cuando hay un conector que afecte a
las proposiciones que están dentro y fuera del paréntesis.
 Llaves. Se colocan cuando un conector afecta a elementos
que están dentro y fuera de corchetes.

Ejemplo:
LENGUAJE NATURAL LENGUAJE LÓGICO

Si el gato persigue al ratón y la araña persigue a la (p  q) → r

mosca, entonces tienen hambre.

Si el gato persigue al ratón o la araña persigue a la

mosca y la araña persigue a la mosca o tiene hambre, [(p  q)  (q  r)] → (p  q)
entonces el gato persigue al ratón y la araña persigue
a la mosca

Si el gato persigue al ratón y la araña persigue a la

mosca, entonces la araña persigue a la mosca o tiene {[(p  q) → (q  r)]  (p  r) → (q  r)}
hambre, o el gato persigue al ratón o tiene hambre,
entonces la araña persigue a la mosca y tiene hambre.

Si cuando veo películas de terror me da pesadillas, p → (  p  q)

entonces no debo ver películas de terror; y debo
descansar tempano.
 Formalicemos las siguientes proposiciones complejas:
1. Si Julia tiene examen entonces estudiara o
reprobara
2. Si Kevin y Yhamiro juegan bien, entonces ganarán
3. Es falso que Bolívar y Jaguar jugarán en El Alto
4. Juan canta; si y sólo si Lis baila y luego Mari
actúa o Mari actúa y luego Lis baila
5. Si ayudo a mi mamá y a mi papá, entonces saldré
a jugar

TABLAS DE VERDAD
Las tablas de verdad son una herramienta de la lógica para evaluar si un razonamiento o proposición es
verdadero. Para su comprobación se realiza por medio del esquema, matriz o tabla de verdad.
Pasos para elaborar las tablas de verdad:
 La matriz tiene una forma de cruz con el lado derecho más largo que el izquierdo. La parte izquierda
tiene el nombre de “margen” y la parte derecha se denomina “cuerpo”.
 Se escribe la proposición completa en el lado superior del cuerpo de la matriz.
 Se coloca todas las letras variables en la parte superior del “margen” a la izquierdo.
 En el lado inferior izquierdo se colocan las combinaciones de verdad “V” y falsedad “F”. debajo de
la última variable del lado inferior izquierdo se pone de forma vertical los valores V y F
alternadamente, para la siguiente columna se duplican las V y F, si aún sigue existiendo variables se
cuadriplican y así ira continuando hasta terminar el ejercicio.
 Tenemos que señalar que el lado vertical se lo denomina “filas” y las horizontales se llaman
“columnas”. Habrá tantas columnas en el margen dependiendo de cuantas variables tengamos y el
número de filas dependerá de la formula 2n, la letra “n” representa el número de variables que se
tenga en el ejercicio. La fórmula será 2𝑛 es decir 22 = 4 Filas. Y si tiene tres variables la formula
será 23 = 8 Filas; y si tiene cuatro variables será 24 = 16 Filas.
 En el lado inferior derecho se obtiene los valores correspondientes de verdad y falsedad, que son los
resultados de las proposiciones simples. Se debe tomar en cuenta que los resultados se los coloca
debajo de la conexión lógica.

Margen Cuerpo

Variables p q p  q Proposición completa

V V V
V F F
Filas

F V F
F F F

Columnas
Tipos de tablas de verdad
Se desarrolla una serie de casos por la posición de resultados validos según su estructura.
TIPO REGLA TABLA

p p
Toda proposición que se lleve
V F
Tabla de la negación a la izquierda será cambiada de
F a V y de V a F F V

p q pq
Toda proposición conjuntiva
es V cuando sus dos V V V
Tabla de la proposiciones simples son V.
conjunción Si una es F, entonces será F y V F F
si los dos son F igual llega ser F V F
F.
F F F
p q pq
Toda proposición disyuntiva V V V
Tabla de disyunción inclusiva es V en todos los
incluyente casos, menos cuando las dos V F V
proposiciones simples sean F. F V V
F F F
p q p⊻q
La proposición disyuntiva V V F
Tabla de disyunción exclusiva es V cuando una de
excluyente la proposición simple es V y la V F V
otra es F. F V V
F F F
p q p→q
La proposición condicional es V V V
Tabla de la F solo cuando la primera
condicional proposición es V y la segunda V F F
es F, caso contrario todas son F V V
V
F F V
p q p→q
La proposición bicondicional V V V
Tabla de es F sólo cuando una V F F
bicondicional proposición es V y la otra es F,
caso contrario todas son V. F V F
F F V
 p q p↓q
Tabla de la negación La proposición de negación V V F
conjunta conjunta es V sólo cuando las
V F F
dos proposiciones son F, caso
contrario todas son F. F V F
F F V

Elaboremos la tabla de verdad con las proposiciones de cada tipo:

Negación Su tabla de verdad:

Los perros no son bípedos

Los perros son bípedos

Conjunción Su tabla de verdad:

Todos los paceños son bolivianos y los chapacos también

Algunos felinos son gatos y los perros también

Todos los hombres son poetas y algunas mujeres artistas

Las manzanas son legumbres y las naranjas son verduras

Disyunción inclusiva Su tabla de verdad:

Las mariposas vuelan o son de colores

Los perros ladran o son bípedos

La tierra es un asteroide o la luna es un satélite

Homero fue periodista o fue un Dios

Disyunción exclusiva Su tabla de verdad:

O el maíz es cereal o es un vegetal

O todos los loros son aves o son mamíferos

O la naranja es verdura o fruta

O Bolivia es un departamento o una ciudad

 Condicional Su tabla de verdad:

Si la nariz es para respirar, entonces es imprescindible

Si 2 + 2 es = a 4, entonces 3 + 3 es = a 5

Si Colón no descubrió América, entonces conquisto España

Si Platón fue periodista, entonces Cristo fue un poeta

Bicondicional Su tabla de verdad:

Sabrás que es el amor, si y sólo si lo practicas con los demás

Sabrás que es el amor, si y sólo si odias a alguien

Jamás sabrás que es el amor, si y solo si practicas con los demás

Jamás sabrás lo que es el amor, si y sólo si odias a alguien

Negación conjunta Su tabla de verdad:

Ni Juana cree en duendes, ni Joel es príncipe

Ni Juana cree en duendes, ni Joel es de marte

Ni Juana es duende, ni Joel es príncipe

Ni Juana es duende, ni Joel es de marte