Lenguaje simbólico y lenguaje proposicional

Presentado por
Jessica Ávila
Elvis Bermeo
Sebastián Chumi

Profesor
Héctor González Same
Introducción
El habla resulta ser de varios significados, una palabra puede tener muchas
interpretaciones, y en algunos casos la comunicación no es clara, cuando se busca
precisión y claridad en una idea compleja, resulta inadecuado expresar el pensamiento
con un lenguaje ordinario, ya que distintas personas podrían interpretar el contenido de
manera diferente.
Para resolverlas se ha generado otros lenguajes artificiales. En estos lenguajes
artificiales, cada símbolo tiene una sola interpretación, por lo que resulta adecuado para
el manejo de ideas complejas minimizando el error en su tratamiento.

The speech turns out to be of several meanings, a word can have many interpretations,
and in some cases the communication is not clear, when precision and clarity are sought
in a complex idea, it is inappropriate to express the thought with an ordinary language,
since different people they could interpret the content differently.
To solve them, other artificial languages have been generated. In these artificial
languages, each symbol has only one interpretation, which is why it is suitable for the
handling of complex ideas, minimizing the error in its treatment.
 Lenguaje simbólico y lenguaje proposicional
El habla resulta ser de varios significados, una palabra puede tener muchas
interpretaciones, y en algunos casos la comunicación no es clara, cuando se busca
precisión y claridad en una idea compleja, resulta inadecuado expresar el pensamiento
con un lenguaje ordinario, ya que distintas personas podrían interpretar el contenido de
manera diferente. Para resolverlas se ha generado otros lenguajes artificiales. En estos
lenguajes artificiales, cada símbolo tiene una sola interpretación, por lo que resulta
adecuado para el manejo de ideas complejas minimizando el error en su tratamiento
Lenguaje simbólico.
El lenguaje simbólico es el acto de la creación de un lenguaje artificial que hace uso de
símbolos convencionales que representan estructuras para hacer frente a los complejos
argumentos lógicos expresando un significado más profundo que el que se expresa
mediante el lenguaje convencional transmitiendo la información por medio de símbolos
o imágenes.
Su propósito es ahorrar tiempo en la argumentación y ayudar a prevenir la confusión,
imprecisión y la ambigüedad de la palabra. Puede considerarse como una forma de
pensamiento humano, es decir algo que se utiliza en distintas situaciones y de muchas
maneras, por ejemplo, en ecuaciones matemáticas, en tablas de verdad, o de la
electrónica se utiliza mucho para la elaboración de circuitos y dentro de la lógica se usa
mucho dentro de las conectivas ya mencionadas que buscan sustituir el lenguaje natural
por uno alternativo.
Al mismo tiempo que se crearon símbolos para los lenguajes, también se formularon
normas para su uso. Por eso dos personas por separado pueden llegar a conclusiones
iguales ante un determinado problema, si ambos respetan las leyes, aunque sus
procedimientos sean distintos.
Sin embargo, el lenguaje no garantiza concordancia de las ideas con los hechos, sino
solo coherencia en el tratamiento de las mismas. Para saber si existe relación entre las
ideas y la experiencia se recurre a las ciencias fácticas.
Para considerar un enunciado factible de representación simbólica este debe ser una
proposición. Las proposiciones son enunciados que se pueden negar o afirmar.
Lógica proposicional.
Es un sistema formal cuyos elementos representan proposiciones cuyas constantes
lógicas llamadas conectivas, representan operaciones sobre proposiciones capaces de
formar otras proposiciones de mayor complejidad.
En el lenguaje proposicional si bien no hay signos para variables de tipo entidad, si
existen signos para variables proposicionales, que pueden ser interpretadas como
proposiciones con un valor de verdad definido, de ahí el nombre de proposicional.
Ejemplo
Mañana es miércoles o mañana es jueves.
Mañana no es jueves.
Por lo tanto, mañana es miércoles.
Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas
y la conclusión falsa.
En cambio, las preguntas, ordenes o exclamaciones no son proposiciones ya que no
afirman nada.
Ejemplo
¿Qué hora es?
No es una proposición ya que no se afirma o niega nada sobre el concepto hora, por lo
tanto, no es posible calificarla como verdadera o falsa.
Las proposiciones pueden ser simples o compuestas, estas ultimas constan de dos o más
enunciados simples.
Ejemplo
Sea la siguiente proposición r

r: Pitágoras era griego y era geómetra.

p Y q
Se observan dos proposiciones simples. La primera, p, nos afirma que Pitágoras era
griego y la segunda, q, que Pitágoras era geómetra.
Operaciones Lógicas
A partir de proposiciones simples es posible generar otras, las compuestas. Es decir, se
puede operar con proposiciones utilizando para ello ciertos símbolos llamados
conectivos lógicos.

Operación Símbolo Significado

Negación ~ “no …” o “no es cierto que …
Conjunción o producto lógico  “…. y …”
Disyunción o suma lógica  “… o …” (en sentido incluyente)
Implicación  “… implica …”, o “si… entonces …”
Doble implicación  “… si y sólo si …”
Diferencia simétrica o Disyunción excluyente  “… o …” (en sentido excluyente)

Cada conectiva lógica se distingue de las otras por los valores de verdad que devuelve
frente a las diferentes combinaciones de valores de verdad que se puede recibir. Cada
conectiva lógica puede ilustrarse mediante una tabla que despliegue los valores de
verdad.

Negación
Dada una proposición p, se denomina negación de p a otra proposición denotada por ~p
(se lee "no p") que le asigna el valor veritativo opuesto al de p. Esta ley que define a la
negación lógica o simplemente negación, se presenta generalmente, en forma resumida
utilizando una tabla de doble entrada denominada tabla de verdad.
La tabla de verdad de la negación es:

p ~p Observamos que al valor V de p,

la negación le hace corresponder
V F el valor F, y viceversa.
F V

Ejemplo
Sea la proposición p: 3 > 1, su negación es ~ p: 3 ≤ 1.
Se observa que V(p) = V y V (~ p) = F

NOTA: se trata de una operación unitaria, pues se define para una proposición.
Conjunción o Producto Lógico
Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la
proposición compuesta p  q (se lee "p y q"), cuya tabla de verdad es:
 p q p  q
V V V
V F F
F V F
F F F

La tabla que define esta operación, establece que la conjunción es verdadera sólo si lo
son las dos proposiciones componentes (en todo otro caso, es falsa). Es una operación
binaria.
Ejemplos
a) Sean las proposiciones
p: 5 es un número impar
q: 6 es un número par
Entonces la conjunción entre p y q es
p  q: 5 es un número impar y 6 es un número par
Se obtienen los siguientes valores de verdad:
V (p  q) = V
V (~p  q) = F
Disyunción o Suma lógica
Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la
proposición p  q (se lee “p o q”) cuya tabla de valores de verdad es:
p q p  q
V V V
V F V
F V V
F F F

La disyunción o es utilizada en sentido incluyente, ya que la verdad de la disyunción se

da en el caso de que al menos una de las proposiciones sea verdadera. En el lenguaje
ordinario la palabra o es utilizada en sentido incluyente o excluyente indistintamente.
Para evitar toda posibilidad de ambigüedades, en matemática se utiliza la disyunción
definida por la tabla precedente, que muestra que la disyunción sólo es falsa cuando
ambas proposiciones son falsas, o bien, se utiliza la disyunción excluyente para
interpretar otra situación.
Ejemplo
Sean las proposiciones
p: 5 es un número impar y q: 6 es un número par
La proposición compuesta que indica la disyunción entre p y q es
p  q: 5 es un número impar o 6 es un número par

El valor de verdad del enunciado compuesto anterior es

V (p  q) = V
El valor de verdad del enunciado compuesto ~ p  ~ q es V (~p  ~q) = F
Implicación o Condicional
Implicación de las proposiciones p y q es la proposición p  q (si p entonces q) cuya
tabla de valores de verdad es:
p q p  q
V V V
V F F
F V V
F F V

La proposición p se llama antecedente, y la proposición q se llama consecuente de la

implicación o condicional. La tabla nos muestra que la implicación sólo es falsa si el
antecedente es verdadero y el consecuente es falso.

Sean las proposiciones

p: José es mendocino y q: José es argentino
La proposición compuesta p implica q es
p  q: Si José es mendocino, José es argentino

V (p  q) = V
V (p  ~q) = F
V (q  p) = F
Doble Implicación o Bicondicional
Doble implicación de las proposiciones p y q es la proposición p  q (se lee "p si y sólo
si q") cuya tabla de valores de verdad es
 p q p  q
V V V
V F F
F V F
F F V

La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el

mismo valor de verdad.
La doble implicación puede definirse como la conjunción de una implicación y su
recíproca. De este modo, la tabla de valores de verdad de p  q puede obtenerse
mediante la tabla de (p  q)  (q  p), como vemos:

p q p  q qp (p  q)  (q  p)
V V V V V
V F F V F
F V V F F
F F V V V

Ejemplo
Sea el enunciado
a = b si y sólo si a² = b²
donde a y b son números reales cualesquiera.
Se observa que el enunciado está compuesto por las proposiciones:
p: a = b y q: a² = b²
Como V (p  q) =V y V (q  p) = F, entonces V (p  q) = F
OBSERVACIÓN
La doble implicación p  q, es una operación equivalente a la conjunción de las
implicaciones
(p  q)  (q  p)
Si V (p  q) = V, entonces V (p  q) = V y V (q  p) = V. Se tiene, observando el
valor de verdad de la primera implicación, que p es condición suficiente para q y,
teniendo en cuenta la segunda implicación, ocurre que p es condición necesaria para q.
Es decir, si V (p  q) = V, entonces p es condición necesaria y suficiente para q y,
análogamente, q es también condición necesaria y suficiente para p.
Disyunción

Representa la partícula lingüística o. Es preciso advertir que esta partícula tiene dos
sentidos: un inclusivo y otro exclusivo. En sentido inclusivo equivale a y/o, o sea, que
incluye la verdad de los dos enunciados de la disyunción o bien sólo la de uno de los
dos. El sentido exclusivo expresa la idea que la verdad de un miembro es incompatible
con la verdad del otro: o uno o el otro, pero no los dos. El sentido inclusivo es lo que, en
general, se adopta a lógica.

Así, la formalización de "Se aprende lógica escuchando a clase o estudiando", siendo

"Se aprende lógica escuchando a clase" = p y "Se aprende lógica estudiando" = q,
será p v q.
Conclusiones
Una proposición es toda expresión que tiene la propiedad de ser verdadero o falso
Bibliografía
Xtec.cat. (2018). Lógica de enunciados o proposicional: formalización. (2018, Diciembre 13).
Recuperado de: http://www.xtec.cat/~lvallmaj/passeig/enunfor2.htm

Arzave, E. (2018). Lenguaje simbólico de la lógica proposicional &. Recuperado de:

https://prezi.com/gitu96bwnxbm/lenguaje-simbolico-de-la-logica-proposicional/

Lenguaje simbólico de la lógica. (2018). Recuperado de: https://www.wikifilosofia.net/lenguaje-

simbolico-de-la-logica/