Folleto de Logica Simbolica
Folleto de Logica Simbolica
Folleto de Logica Simbolica
Lógica
La palabra lógica se deriva de la palabra griega logos que significa razonamiento o discurso. La
lógica matemática es la disciplina que trata de métodos de razonamiento.
Lógica simbólica
La lógica simbólica, se distingue por el uso de instrumentos más refinados que la lógica clásica,
antes que por el objeto de sus estudios.
La lógica simbólica se construye de un modo totalmente formalizado, o sea que utiliza los
símbolos como si fueran signos materiales, sin tener en cuenta su significación. Si bien la lógica
clásica poseía cierto grado de formalización, presentaba expresiones del lenguaje natural que
hacían ambiguas algunas de sus consideraciones. El tratamiento técnico que es posible darle a
las argumentaciones obedece a la formalización.
La lógica de proposiciones es la parte más elemental de la lógica moderna. En esta parte de la lógica,
las inferencias se construyen sin tomar en cuenta la estructura de las proposiciones. Sólo se
examinan las relaciones lógicas existentes entre proposiciones, y de ellas sólo se toma en cuenta
su propiedad de ser verdaderas o falsas.
1
sentimientos, entre otros. Pertenecen a este lenguaje, por ejemplo, el español, el inglés, el francés,
el alemán, entre otros.
El lenguaje formalizado es el lenguaje usado en la actividad científica. Sólo sirve para formular
conocimientos. Es un lenguaje especializado. Pertenecen a este lenguaje, por ejemplo, el lenguaje
lógico y el matemático.
Proposiciones
Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede
ser verdadera o falsa. Al hecho de ser verdadera o falsa se le conoce como valor de verdad.
Los símbolos que usaremos en lógica para representar proposiciones son letras mayúsculas tales
como: P, Q, R, S, A, B, entre otras, que se conocen como variables proposicionales.
Recuerda: no son proposiciones las oraciones o enunciados que son órdenes, deseos,
interrogaciones y exclamaciones.
Clases de proposiciones
Las proposiciones pueden ser simples o compuestas. Una proposición simple es aquella que no puede
descomponerse en partes que sean a su vez proposiciones. Las proposiciones simples se llaman
también proposiciones atómicas.
En Lógica, atómicas son las proposiciones de forma más simple (o más básicas). Si se juntan una o
varias proposiciones atómicas con un término de enlace, se tiene una proposición molecular. Una
proposición atómica es una proposición completa sin términos de enlace. Se utilizan términos de
enlace para formar proposiciones moleculares a partir de proposiciones atómicas.
2
Conectivos lógicos
Son los términos de enlace que conectan dos o más proposiciones. Se llaman monádicos si afectan
solo a una proposición, la negación es un operador monádico. Si afecta a dos proposiciones, se llama
diádico.
Los conectivos fundamentales usados son:
a) , ~ La negativa
b) La conjuntiva
c) La disyuntiva inclusiva
d) La disyuntiva exclusiva
e) La condicionante
f) La bicondicionante
a) Negación
La negación de una proposición es una nueva proposición que tiene un valor de verdad opuesto,
es decir, si P es verdadera y la negación de P es falsa. Se denota como ~P y se lee no P.
Ejemplo: Si: P: El río está sucio,
Entonces ~P: El río no está sucio.
b) Conjunción
La conjunción es la proposición compuesta que resulta de conectar dos proposiciones P y Q
mediante la conjuntiva . Esta proposición se denota por P Q y se lee P y Q.
c) Disyunción Inclusiva
La disyunción inclusiva es la proposición compuesta que resulta de conectar dos proposiciones P
y Q mediante la disyuntiva inclusiva . Esta proposición se denota por P Q y se lee P o Q.
d) Disyunción Exclusiva
La disyunción exclusiva es la proposición compuesta que resulta de conectar dos proposiciones P
y Q mediante la disyuntiva exclusiva . Esta proposición se denota por P Q y se lee o P o
Q.
3
e) Condicional
La condicional es la proposición compuesta que resulta de conectar dos proposiciones P y Q
mediante la condicionante . Esta proposición se denota por P Q y se lee si P entonces Q.
f) Bicondicional
La bicondicional es la proposición compuesta que resulta de conectar dos proposiciones P y Q
mediante la bicondicionante . Esta proposición se denota por P Q y se lee P si y sólo si
Q.
Ejercicio 1
a. Señalar cada proposición atómica con una A y cada proposición molecular con una M. Escribir
junto a cada proposición molecular el término de enlace utilizado.
11. Si los gatitos llevan mitones, entonces los gatos pueden llevar sombreros. __________
4
14. Si María canta, entonces es feliz. ____________
15. Los alumnos mayores no están en la lista antes que los jóvenes. ____________
17. Si aquellas nubes se mueven en esa dirección, entonces tendremos lluvia. __________
18. Si los deseos fueran caballos, entonces los mendigos cabalgarían. ____________
23. x = 1 o y + z = 2. ____________
b. Formar cinco proposiciones moleculares utilizando una o dos de las proposiciones escritas a
continuación junto con un término de enlace. Por ejemplo, se puede poner el término de enlace
«y» entre dos de ellas y también se puede utilizar la misma proposición atómica más de una vez.
Utilícese los términos de enlace una sola vez, de manera que cada una de las proposiciones
moleculares tenga distinto término de enlace.
1. _____________________________________________________________
2. _____________________________________________________________
3. _____________________________________________________________
4. _____________________________________________________________
5. _____________________________________________________________
c. Escribir cuáles son los términos de enlace en las proposiciones siguientes y cuántas
proposiciones atómicas se encuentran en cada proposición molecular.
húmedos. ____________
5. Si hay fallas en las grandes masas rocosas, entonces es posible que ocurran terremotos.
____________
13. x = 0 o y = 1. ____________
16. x + y = y + x. ____________
d. Escriba los conectivos lógicos adecuados de manera que la proposición tenga concordancia.
8. Carolina tiene suficiente dinero para comprar una camisa ____ una falda, pero ____ tiene
9. Karla y Paola van correr todas las mañanas, pero ____van los fines de semanas.
10. Un cuadrilátero es un paralelogramo ____________ sus lados paralelos son de igual longitud.
6
e. Simbolizar las proposiciones moleculares siguientes sustituyendo las proposiciones atómicas por
letras mayúsculas.
3. Daba tres pasos hacia la derecha y entonces iba dos pasos hacia adelante.
f) Cada una de las proposiciones siguientes es molecular. Primero indicar cuáles son el término o
términos de enlace de cada proposición. Después escribir separadamente las proposiciones
atómicas que se encuentran en cada una de las proposiciones moleculares.
7
2. O Jaime es el ganador o Luis es el ganador.
3. José no es el ganador.
6. Los Alpes son montañas jóvenes y los Appalaches son montañas viejas.
10. Muchos planetas son o demasiado cálidos para que vivan seres como nosotros o demasiado
fríos para que vivan seres como nosotros.
1. Si x = y entonces x = 2.
2. Si x 2 entonces y > 1.
3. Si x 2 o x 3 entonces x = 1.
8
4. Si x + y = 3 entonces y + x = 3.
5. Si x - y = 2 entonces y - x 2.
6. x + y = 2 y y = 1.
7. x + y + z = 2 o x + y = 10.
8. Si x y y y z entonces x > z.
10. Si x y, entonces x 1 y x 2.
2. Los discos antiguos de José son buenos pero los modernos son todavía mejores.
5. El reactor se elevaba a nuestra vista y dejaba tras sí una fina estela blanca.
9
7. Jorge es alto y Andy es bajo.
1. El área del triángulo ABC es igual al área del triángulo DEF, o el área del triángulo ABC es
menor que el área del triángulo DEF.
8. Se puede dar el vector por medio de dos componentes, o estamos en tres dimensiones.
9. Peces con pulmones pueden tomar el oxígeno del aire o pueden tomar el oxígeno del agua.
10
j) Simbolizar completamente las proposiciones siguientes, utilizando los símbolos
correspondientes a cada término de enlace. Indicar las proposiciones atómicas sustituidas por
cada letra mayúscula.
k) Simbolizar las proposiciones siguientes, utilizando los símbolos correspondientes para los
términos de enlace. Señalar la proposición atómica representada por cada letra mayúscula.
11
4. Si pierde usted el autobús, entonces tendrá que andar.
12
2. Si Juan es el tercero entonces precede a Luis.
Al igual que en matemáticas estos símbolos marcan la prioridad de un conectivo sobre otro. Cuando
en una fórmula hay varios conectivos, tiene que quedar claro cuál de ellos es el conectivo dominante:
siempre será aquel que quede fuera del paréntesis.
Ejemplo: (P Q) R
P (Q R)
Sin embargo existen excepciones por las llamadas reglas de economía de paréntesis. Estas leyes
son las siguientes:
2. En las formulas en las que se repite el mismo conectivo si se trata de una conjunción o de una
disyunción no es necesario marcar la prioridad con paréntesis.
Considere la proposición:
O él está equivocado y yo tengo razón, o quedaré sorprendido.
Los paréntesis señalan claramente que las palabras “O” y “o” envuelven la conjunción “él está
equivocado y yo tengo razón” que es precisamente una parte de toda la disyunción. Así la proposición
se puede simbolizar:
(P Q) R
Por otra parte, si el paréntesis se coloca de manera que la quede fuera, entonces ésta dominará
y la proposición completa se transforma en una conjunción
P (Q R)
Una formula lógica, es decir, una fórmula bien formada (FBF) es una cadena de símbolos construida
según las reglas establecidas por la sintaxis lógica, de tal forma que no haya ambigüedad en su
construcción.
P (P R) Es una FBF porque existe una jerarquía claramente establecida entre sus
operadores; caso contrario la fórmula carece de sentido.
Ejercicio 2
a) Cada una de las proposiciones simbolizadas siguientes es una conjunción, por lo que el término
de enlace mayor o dominante es «y». Poner los paréntesis adecuadamente para indicar que «y»
es dominante.
1. P Q S
2. Q R S
3. Q R T
4. P R Q
5. R P T
b. Cada una de las proposiciones siguientes es una disyunción. Poner los paréntesis adecuadamente
para indicar que en este caso el término de enlace dominante es «o».
1. P Q S
2. Q R S
3. Q R T
4. P Q R
5. P Q R
c. De cada una de las proposiciones siguientes se dice si es una conjunción o una disyunción. Indicar
el agrupamiento adecuado de las proposiciones atómicas poniendo paréntesis que señalen cuál es
el término de enlace dominante.
1. Disyunción S T R
2. Conjunción T S Q
14
3. Conjunción T S R
4. Disyunción P Q T
5. Disyunción P Q R
6. A la vez el resultado es un número primo o María está equivocada y Rafael está equivocado
también.
e. Junto a cada proposición molecular escrita a continuación, se ha puesto el nombre del tipo de
proposición molecular a la que pertenece. Añadir los paréntesis necesarios.
1. Condicional P R S
2. Condicional P Q R
3. Condicional P Q R
4. Condicional R P Q
5. Conjunción P Q S
6. Conjunción R P Q
15
7. Disyunción R Q T
8. Disyunción Q P S
9. Disyunción P R Q
10. Condicional P R Q
11. Conjunción P Q J
12. Condicional P Q T
14. disyunción Q R ~S
15. Condicional Q R ~S
1. Si Juan está en la clase 1, entonces Álvaro está en la clase 3 y él está en la clase de Química.
2. Si o Álvaro está en la clase 3 o él está en la clase de Química, entonces Juan está en la clase 1.
3. O si Juan está en la clase 1 entonces él está en la clase de Química, o Juan no está en la clase 1.
4. O Álvaro está en la clase 3 o si Jaime está en la clase 1 entonces él está en la clase de Química.
5. A la vez si Álvaro está en la clase 3, entonces él está en la clase de Química, y Juan no está en
la clase 1.
Sea
P = «Es jueves»
Q = «Sucedió en lunes».
16
2. Si no ocurre que sucedió en lunes, entonces es jueves.
1. O Juan es el más pequeño y Pedro es el más alto o Pedro es el más bajo y Juan es el más grande.
(P Q) (R S).
17
3. O yo estoy equivocado, o la pregunta número uno es cierta y la pregunta número dos es falsa.
4. A la vez yo estoy equivocado o la pregunta número uno es cierta, y la pregunta número dos es
falsa.
5. O yo estoy equivocado y la pregunta número uno es cierta o la pregunta número dos es falsa.
9. O sus deberes están terminados, o si no están terminados tendrá que hacerlos por la noche.
10. No todas las regiones de África tienen un clima cálido y húmedo y no toda el África ecuatorial
es una tierra de vegetación espesa y exuberante.
11. Si son las diez entonces la sesión de la Asamblea General ha empezado, y ahora el reloj señala
las diez.
18
12. No ocurre que, o estrellas muy lejanas presentan paralaje o aparecen en el telescopio como
discos.
14. Si es después de las cinco, entonces la puerta está cerrada y yo no tengo la llave.
15. Si es después de las cinco entonces la puerta está cerrada y además, yo no tengo la llave.
19