PROPOSICIONES Y CONECTIVOS LÓGICOS
OBJETIVO DE LA CLASE: Comprender el uso y la importancia de los conectivos
lógicos en la construcción de argumentos y proposiciones.
Aristóteles
fue un filósofo y científico griego nacido en la ciudad de Estagira, al norte de la Antigua
Grecia. Es considerado junto a Platón, el padre de la filosofía occidental. Sus ideas han
ejercido una enorme influencia sobre la historia intelectual de Occidente por más de dos
milenios.
Aristóteles escribió cerca de 200 obras, sobre una enorme variedad de temas, entre ellos:
lógica. El es considerado como el padre de la lógica y esto ha influido directamente sobre la
ciencia actual. Por ejemplo ¿creen ustedes que la matemática tengo lógica en su
funcionamiento?
Proposiciones:
Una proposición es una afirmación que puede ser verdadera o falsa, pero no ambas a la vez.
Es la unidad básica de la lógica y se utiliza para construir argumentos.
Las proposiciones se simbolizan por con cualquier letra minúscula p, q, r, s.
Ejemplo:
p = el perro come mucho
q = el gato es blanco
Son proposiciones: No son proposiciones:
a) 5 es múltiplo de 3. a) ¿Has entendido lo que es una
b) María usa lentes. proposición?
c) El cambia de cuaderno. b) El triángulo es inteligente.
d) Júpiter es un planeta grande. c) Eduardo es un número natural.
e) Ella gana la lotería d) x+3= 5
e) a es la capital del país.
Proposiciones simples. Son aquellas que están compuestas por un sujeto verbo y un
predicado directamente relacionados, sin que aparezcan factores de negación (no),
conjunción (y), disyunción (o) o implicación (si… entonces).
Proposiciones compuestas. Son aquellas de tipo complejo, que incorporan elementos
adicionales a través de factores de negación, conjunción, disyunción o implicación, y que
en términos oracionales consisten en oraciones con subordinadas y otros componentes.
CONECTIVOS LÓGICOS:
Los conectivos lógicos son palabras o símbolos que nos permiten combinar proposiciones
para formar nuevas proposiciones. Consideráremos los siguientes conectivos lógicos:
Negación ("no"): Niega la proposición.
Ejemplo: p = el sol es frío ~p = No es cierto que el sol es frío
Conjunción ("y"): Une dos proposiciones, siendo la nueva proposición verdadera solo si
ambas son verdaderas.
Ejemplo: p = el gato es negro q = el gato es grande
Disyunción ("o"): Une dos proposiciones, siendo la nueva proposición verdadera si al
menos una de las dos es verdadera.
Ejemplo: p = el gato es negro q = el gato es grande
Implicación ("si... entonces"): Establece una relación condicional entre dos
proposiciones, donde la primera (antecedente) implica la segunda (consecuente).
Ejemplo: p = está lloviendo q = llevaré un paraguas
Si está lloviendo, entonces llevaré un paraguas.
Bicondicional ("si solo si"): Indica una relación de doble implicación, donde ambas
proposiciones son verdaderas o ambas son falsas.
Ejemplo: p = tendrás éxito q = trabajas duro
Tendrás éxito si solo si trabajas duro.
Aplicaciones en la vida diaria:
1) Ciencias de la computación: La lógica es utilizada para verificar la corrección de los
programas informáticos. Mediante el uso de la lógica formal, se pueden analizar y evaluar
los algoritmos y programas desarrollados, asegurando que cumplan con las especificaciones
y que no contengan errores lógicos.
2) Educación: La lógica es una herramienta importante en la educación. Se utiliza para
enseñar a los estudiantes a pensar críticamente, analizar argumentos y evaluar su validez y
consistencia.
3) Para dialogar.
4) Para tomar decisiones.
ACTIVIDAD.
Lea detenidamente la situación que se presenta a continuación. Entre Guille y su mamá se da una
conversación.
¿Qué opinas?
1) La mamá de Guille no cumple con su palabra.
2) Guille malentendió las palabras de su madre.
3) Guille acaba de aprender una lección de lógica.
Solución.
1) Escriba la proposición lógica de lo que dijo la mama de Guille, luego utilice los conectores
lógicos correspondientes y construya su tabla de la verdad.
2) Escriba la proposición lógica de lo que entendió Guille, luego utilice los conectores lógicos
correspondientes y construya su tabla de la verdad.
3) Compare ambas tablas de verdad. ¿Cuál es la conclusión lógica?
