2015

Curso de: PROCESOS LÓGICOS DE PENSAMIENTO

UNIDAD 2 – ENUNCIADOS Y PROPOSICIONES LENGUAJE

SIMBÓLICO

Autor: Lcda. Yanet Coronado

UNIVERSIDAD AUTÓNOMA DEL CARIBE | Barranquilla, Colombia |2015

Contenido
2. ENUNCIADOS Y PROPOSICIONES LENGUAJE SIMBÓLICO .................................... 3
2.1. ENUNCIADOS Y PROPOSICIONES .......................................................................... 3
2.1.1. Enunciado. ............................................................................................................. 3
2.1.2. Clases de Proposiciones ...................................................................................... 3
2.2. TÉRMINOS DE ENLACE ............................................................................................ 4
2.3. EL LENGUAJE SIMBÓLICO .................................................................................... 4
2.3.1. Recomendaciones para simbolizar ...................................................................... 5
2.3.2. Reglas de construcción ........................................................................................ 5
2.3.2.1. Supresión o asignación de paréntesis .................................................................. 6
2.3.2.2. Los paréntesis son asignados al conectivo con mayor prioridad. ......................... 6
2.3.2.3. Prioridad de los conectivos lógicos....................................................................... 6
2.3.3. Tablas de verdad ................................................................................................... 7
2.4. CONECTORES LÓGICOS Y LOS VALORES DE VERDAD ..................................... 7
2.4.1. Negación ................................................................................................................ 7
2.4.2. Conjunción ............................................................................................................. 8
2.4.2.1. Tabla de verdad de la conjunción ......................................................................... 9
2.4.3. Disyunción ............................................................................................................. 9
2.4.3.1. Tabla de verdad de la disyunción inclusiva ........................................................ 10
2.4.3.2. Tabla de verdad de la disyunción exclusiva ....................................................... 10
2.4.4. Condicional o Implicación. ..................................................................................... 10
2.4.4.1. Tabla de verdad del condicional. ........................................................................ 11
2.4.5. Bicondicional ....................................................................................................... 11
2.4.5.1. Tabla de verdad del Bicondicional ...................................................................... 12
2.4.6. Tautología y Contradicción ................................................................................. 12
2.5. DIAGRAMAS DE CERTEZA .................................................................................... 13
BIBLIOGRAFIA ............................................................................................................... 14
 UNIDAD 2

2. ENUNCIADOS Y PROPOSICIONES LENGUAJE SIMBÓLICO

2.1. ENUNCIADOS Y PROPOSICIONES

2.1.1. Enunciado.

Es una oración donde se expresa una idea, el cual no es necesariamente verdadero

o falso ya que está condicionada por las circunstancias.

Ejemplo:

Juan bailara esta noche

Es un enunciado porque expresa una idea claramente, pero no así su valor de

verdad.

2.1.2. Clases de Proposiciones

Las proposiciones pueden ser:

1. Proposiciones atómica (simple): son enunciados que tienen algún valor de

verdad.

Ejemplo:

“Tokio es la capital de Japón”

Esta es una proposición que tiene un único valor de verdad.

1. Proposiciones Moleculares (compuestas): son la mezcla de proposiciones atómicas.

Ejemplo:

“Los precios son altos y el dinero no siempre alcanza”

Como se puede observar que para hacer las proposiciones moleculares se necesitan
varias proposiciones atómicas y términos de enlace.

2.2. TÉRMINOS DE ENLACE

Estos son tomados del lenguaje ordinario y expresan la unión de palabras. Son
llamados conectivos lógicos, los cuales son:

Conectivo Operación
Lógico Lógica Símbolo Notación Lectura
Y Conjunción ˄ P˄q Pyq
O Disyunción ˅ P˅q Poq
Si…entonces… Condicional → P→q Si p entonces q
Si y solo si… Bicondicional ↔ P↔q P si solo q
No Negación ~ ~p No p
Agrupación ()

2.3. EL LENGUAJE SIMBÓLICO

Las proposiciones se simbolizan con letras minúsculas del alfabeto español. Tales
como p, q, r, s…x, y, z, las cuales reciben el nombre de letras o variables
proposicionales; de esta forma se logra simplificar la escritura de argumentos lógicos
complicados creando un lenguaje simbólico que establece una reglas claras.

El signo ≡ (que se lee “idéntico a”) se utiliza para indicar la correspondencia entre una
letra y la proposición que la representa.

Ejemplo:

a ≡ Hoy es viernes
b ≡ 7 es un numero primo

p ≡ Bogotá es la capital de Chile

q ≡ Juan estudia derecho penal

2.3.1. Recomendaciones para simbolizar

 Leer la proposición todas las veces que sea necesario, hasta comprender su
significado.
 Identificar las proposiciones atómicas (simples) componentes de la proposición,
escribiendo en cada una de ellas la persona o cosa de la que se habla.
 Determinar si la expresión usa o no conectivos, recordar que puede contener
sinónimos de cualquiera de ellos.
 Los signos de puntuación se convierten en signos de agrupación ( ).
Ejemplos:

Las rosas son rojas y tienen espinas

p ≡ las rosas son rojas.

q ≡ tienen espinas

p˄ q ≡ las rosas son rojas y tienen espinas

2.3.2. Reglas de construcción

Las reglas de construcción de fórmulas son las siguientes:

Los conectivos ˅, ˄, → enlazan pares de letras.

El conectivo ¬ enlaza una sola letra.

En caso que se requieran generar más fórmulas se introducen los símbolos de

separación ( ), que separan las fórmulas de una cadena de fórmulas.

El proceso se finaliza con la última fórmula bien formada.

Ejemplos:
Anita come carne y papa, o come pizza con gaseosa.

Las proposiciones atómicas

p≡ Anita come carne
q ≡ Anita come papa
r ≡ Anita come pizza con gaseosa
Los conectores lógicos presentes
y”, “o”

2.3.2.1. Supresión o asignación de paréntesis

La posición de los paréntesis puede cambiar notoriamente el significado de una
expresión; por ello es necesario crear alguna forma de saber en qué sitio debemos
colocar los paréntesis en una fórmula bien formulada, sobre todo si se toman
proposiciones del lenguaje cotidiano.

2.3.2.2. Los paréntesis son asignados al conectivo con mayor

prioridad.
Si le damos a cada conectivo una prioridad, esto nos permite omitir ciertos paréntesis
sin cambiarle el significado a las expresiones. Por ejemplo: (p˄q) puede escribirse p
˄ q.

2.3.2.3. Prioridad de los conectivos lógicos

Estas es la prioridad para cada uno de los conectivos:

¬: prioridad más alta. Las otras prioridades, en orden descendente, son las siguientes:
˄, ˅, →, ↔

Ejemplos:

* Suprimir el número máximo de paréntesis y que la expresión tenga el mismo

significado.

1. ((p ˄ q) ˅ r)

Se puede expresar así: p ˄ q ˅ r

2. ((p ˅ q) ˄ r)

Solo se pueden quitar los paréntesis extremos para obtener (p ˅ q) ˄ r.

* Se expresa sin paréntesis p˄ q ˅ r y se procede de la siguiente manera: hay tres

letras proposicionales y dos conectivos binarios; el de la prioridad más alta es ˄ por lo
tanto, partiendo de las letras p, q, r procedemos a crear la conjunción y obtenemos
(p˄ q), r y por último obtenemos ((p˄ q) ˅ r).

2.3.3. Tablas de verdad

Una proposición simple solo tiene dos posibilidades de valores de verdad, que sea
verdadera o que sea falsa. Una proposición compuesta en la cual se utiliza uno de
los conectores lógicos, para saber si es verdadera o falsa, se presentan una series
de posibilidades, la cual se puede calcular por la regla general que dice que si
tenemos n proposiciones obtenemos 2n posibilidades.

Si tenemos 2 proposiciones será 2×2 = 4 posibilidades.

2.4. CONECTORES LÓGICOS Y LOS VALORES DE VERDAD

2.4.1. Negación
Una negación se obtiene al anteponer la partícula “no” a una proposición.

Existen algunos sinónimos para la negación: no es cierto que, no ocurre que, no es el

caso que, es falso que, no sucede que, no es verdad que, no es cierto que.

Símbolo ¬

Ejemplo:

3 es un número entero primo

No es cierto que 3 sea un número entero primo

Tabla de verdad de la negación

Ejemplo:

a≡ el planeta más grande del sistema solar es Júpiter (v)

Entonces

¬ a ≡ No es cierto que el planeta más grande del sistema solar sea Júpiter (f)

p ≡ La tierra es una estrella (f)

¬ p ≡ la tierra no es una estrella. (v)

2.4.2. Conjunción

Una conjunción está formada por dos proposiciones y la partícula de enlace “y”.

Se simboliza “˄”

Sinónimos de la conjunción: pero, además, sin embargo, aunque, también, aun, a la

vez, no obstante, entre otros.

Ejemplo:

Los precios son altos y el dinero no siempre alcanza

Juan es abogado, además de ser profesor.

 2.4.2.1. Tabla de verdad de la conjunción
Una conjunción es verdadera cuando las dos proposiciones simples que la conforman
son verdaderas. En la tabla de verdad se muestran los posibles valores de verdad
para una conjunción formada por las proposiciones simples p y q.

2.4.3. Disyunción

Una disyunción está formada por dos proposiciones y la partícula de enlace “o”.

Este conectivo tiene dos formas:

* Inclusivo: permite que ambas proposiciones componentes puedan ser verdaderas

o ambas falsas.

* Exclusivo: no permite que ambas proposiciones componentes puedan ser

verdaderas o ambas falsas.

- Símbolo de la disyunción inclusiva: ˅

- Símbolo de la disyunción exclusiva: ˅

Ejemplos:

* Hoy es viernes o mañana es sábado.

* María vive en Barranquilla o Medellín

* El trabajo puede ser gratuito o remunerado.

Si p≡ la corriente es positiva
 r ≡ la corriente es negativa

Entonces

p ˅ r ≡ la corriente es positiva o negativa

2.4.3.1. Tabla de verdad de la disyunción inclusiva

2.4.3.2. Tabla de verdad de la disyunción exclusiva

2.4.4. Condicional o Implicación.

Un condicional está formado por dos proposiciones y la partícula de enlace “si…

entonces”
se simboliza →
En la expresión p → q

P es el antecedente y q el consecuente
Para el condicional p → q podemos tomar como sinónimos:
P es condición suficiente para q
Si p , q
q, si p
q es condición necesaria para p
Ejemplo:

* Si dos rectas son paralelas, entonces, tienen la misma pendiente.

* Si un número entero es múltiplo de 4, entonces es divisible por 2.

* María ganará el concurso si participa.

2.4.4.1. Tabla de verdad del condicional.

En la tabla de verdad se muestra que la condicional es falsa cuando el antecedente
es verdadero y el consecuente es falso.

Ejemplo.

Si llueve, igual llevo el paraguas.

Si dos rectas no se cortan, necesariamente son paralelas.
María ganará el concurso si participa.

2.4.5. Bicondicional

*Un Bicondicional está formado por dos proposiciones y la partícula de enlace “… si y

solo si…”

Se simboliza ↔
Los sinónimos del Bicondicional: “si y solamente si”, “siempre y *cuando” “es
condición necesaria y suficiente para”

Ejemplos

Un triángulo es rectángulo si y solo si tiene un ángulo recto.

Una condición necesaria para que un triángulo sea rectángulo es que tenga un ángulo
recto.

Un menor puede contraer matrimonio si y solo si tiene el permiso expreso de sus

padres.

2.4.5.1. Tabla de verdad del Bicondicional

Una Bicondicional es verdadera cuando ambas proposiciones simples p y q son
verdaderas o ambas falsas.

2.4.6. Tautología y Contradicción

* Son tautología aquellas proposiciones que tienen valor de verdad verdadero, sin
importar los valores que tengan sus proposiciones componentes.

Símbolo: T

* Son contradicciones aquellas proposiciones que tienen valor de verdad falso, sin
importar los valores que tengan sus proposiciones componentes.

Símbolo: F
En el caso en el que haya al menos un valor de verdad falso y otro verdadero, la
proposición es una contingencia.

Ejemplo:

¿Es ¬ (p ˄ q) → (¬ p˅ ¬q) una tautología?

p q p˄q ~( p˄q) ~p ~q ~p˅~q ~( p˄q) →(~ p ˅ ~ q)

V V V F F F F V
F V F V V F V V
V F F V F V V V
F F F V V V V V

El ejemplo anterior corresponde a una tautología.

2.5. DIAGRAMAS DE CERTEZA

Se emplea para saber el valor de verdad de una proposición sin necesidad de elaborar
su tabla de verdad, solo conociendo el valor de verdad de alguna de sus proposiciones
componentes.

Ejemplos:

* Si se sabe que q es falsa y que el valor de verdad de p ˅ q es verdadero. ¿ Qué

puede decirse sobre el valor de verdad de p ?

p ˅ q

Se puede decir que es verdadero, ya que en la disyunción, es falso si ambas

proposiciones simples son falsas, en caso contrario, es verdadero.
 BIBLIOGRAFIA

Allozo, Jean y Otros (Madrid 1981). Lógica para Linguistas. Paraninfo.

Bardell, Rosss H y Spitzbart, Abraham (México 1974). Algebra Superior. C.E.C.S.A.

Barnett, Raimond A (México 1990). Algebra y Trigonometría. Mc Graw-Hill.

Escobar, Valenzuela Gustavo (México 1999). Lógica, nociones y aplicaciones. Mc

Graw-Hill. George, Kemel (2010). Notas de Lógica Matemática.

Tinoco, Del Valle Jesús (2010). Introducción a la Lógica Matemática. Universidad del
Magdalena.

Peña D y George K. (Colombia 2014). Procesos Lógicos de Pensamiento. Editorial

Uniautonoma.

COPI, Irving, COHEN, Carl. Introducción a la Lógica. Limusa, México 2002

·GOMEZ, Carlos, GOMEZ, German, BOTERO, William. Mathematical Digital. Mc

Graw Hill. Bogota 1998.

·SCHEINNERMAN, Edward. Matemáticas Discretas. Thomson-Learning. Mexico

2001.

· LIPSCHUTZ, Seymor. Teoria de Conjuntos. Mc Graw Hill. Bogotá 1980.

· SMITH, Kart. Introducción a la Lógica Simbólica. Iberoamericana. México 1991.

·
Direcciones de sitios web.
http://www.cibernous.com/logica/
http://www.monografias.com/trabajos10/clasi/clasi.shtml
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
http://www.ucsm.edu.pe/rabarcaf/Introducci%C3%B3n%20a%20la%20L%C3%B3gic
a/2.%20L
%C3%B3gica%20Proposicional.doc
http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html