INSTITUTO DE EDUCACIÓN SUPERIOR
“ANTONIO LORENA”
LÓGICA Y FUNCIONES
POR: Ing. Alex Yampier Mamani Meza
¿QUE ES LA LÓGICA?
El sentido ordinario de la palabra lógica se refiere a lo que es congruente,
ordenado y bien estructurado.
Lo ilógico es lo mismo que incongruente, desordenado e incoherente. Esto
se aplica tanto a las personas, situaciones y los pensamientos.
La palabra lógica según su origen etimológico (logos = conocimiento, sabiduría) el
sentido básico de esta ciencia, que se eleva hasta el espíritu y el pensamiento, la
razón y a inteligencia.
De esta manera definimos nominalmente la LÓGICA como:
“ La ciencia del pensamiento y la razón”
¿PARA QUE SIRVE LA LÓGICA?
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un
argumento es valido. La lógica es ampliamente aplicado en la filosofía, matemáticas, computación, física.
En las matemáticas para demostrar teoremas e inferir resultados que pueden ser aplicados en investigaciones.
La lógica es muy importante, ya que
En general la lógica se aplica en las tareas diarias, ya que cualquier
permite resolver incluso problemas a
trabajo que se realiza tiene un procedimiento lógico, por ejemplo, para
los que nunca se ha enfrentado el ser
ir de compras al supermercado una ama de casa tiene que realizar
humano utilizando solamente su
cierto procedimiento lógico que permita realizar dicha tarea. Si una
inteligencia y apoyándose de algunos
persona desea pintar una pared, este trabajo tiene un procedimiento
conocimiento acumulados, se puede
lógico, ya que no puede pintar si antes no prepara la pintura, etc.
obtener nuevos inventos, innovaciones
a los ya existentes o simplemente
utilización de los mismos.
LÓGICA PROPOSICIONAL
La lógica proposicional es la parte de la lógica que estudia la formación de
proposiciones complejas a partir de proposiciones simples, y la inferencia
proposiciones a partir de proposiciones, pero sin tener en cuenta la
estructura interna de las proposiciones mas simples.
TAREA DE LA LÓGICA:
• Determinar la falsedad o verdad de una premisa.
• El lógico no esta interesado solo en la verdad o falsedad de las
proposiciones sino también las relaciones lógicas entre ellas, es decir,
la validez de los argumentos en que pueden aparecer.
• La lógica nos da los elementos para afirmar sobre la validez de un
argumento.
PROPOSICIONES
Una proposición es una afirmación que comunica una idea
verdadera o falsa.
EJEMPLOS:
Determinar cuales de las siguientes expresiones son proposiciones:
EL MURCIÉLAGO ES UN ANIMAL MAMÍFERO.
Es una proposición porque se puede afirmar si el murciélago es o no un
animal mamífero
¿CUAL ES TU NOMBRE?
No es una proposición ya que no se puede afirmar si la pregunta es
verdadera o falsa
¡HOLA!
No es una proposición, es una exclamación que indica saludo, por lo
tanto, no se puede determinar su valor de verdad
COLOMBIA
No es una proposición, es una nombre y no tienen valor de verdad
CONSIDERACIONES:
Las preguntas, Para nombrar
ordenes, y proposiciones
Cuando se establece si
exclamaciones no son habitualmente, se
una proposición es
considerados utilizan letras
verdadera o falsa se
proposiciones porque minúsculas. Las mas
esta determinado su
no se puede afirmar empleados son p,q,r,s,t
valor de verdad.
que son verdaderas o aunque no son los
falsas. únicos.
PROPIEDADES INTRÍNSECAS DE LAS
PROPOSICIONES:
UNIVERSALES PARTICULARES SINGULARES
• Cuando abarca • Cuando abarca • Cuando se
una totalidad de una cantidad refiere a un solo
elementos. parcial. sujeto.
• Ejemplo: • Ejemplo: • Ejemplo:
• “Todos los • “Algunos • “Trujillo es la
mamíferos son políticos son capital de La
vertebrados” demagogos” Libertad”
• “Ningún pobre • “Algunos
es millonario” comerciantes no
son honrados”
PROPIEDADES INTRÍNSECAS DE LAS
PROPOSICIONES:
AFIRMATIVAS NEGATIVAS
• Cuando atribuyen • Cuando rechazan
una cualidad. una cualidad.
• Ejemplo: • Ejemplo:
• “El azufre tiene • “El agua no es
valencia -2” incolora
PROPIEDADES INTRÍNSECAS DE LAS
PROPOSICIONES:
ASERTORICAS APODÍCTICAS PROBLEMÁTICAS
• Cuando se refiere • Cuando se refiere • Cuando se refiere
a una situación a una situación a una situación
de hecho. Son necesaria, son posible, también
llamadas también son llamadas
también lácticas, llamadas plausibles
plásticas, etc forzosas. • Ejemplo:
• Ejemplo: • Ejemplo: • “Posiblemente
• “El cobre es un • “3 + 5 es este verano haya
mineral” necesariamente sequia”
8”
EJEMPLO PRACTICO:
LA PROPOSICIÓN:
“Einstein es posiblemente el mejor genio del siglo XX”
= Singular por su cantidad.
=Afirmativa por su cualidad.
=Problemática por su modalidad.
Clasificación de las proposiciones:
Cuando carecen de conectores lógicos.
SIMPLES PREDICTIVAS SIMPLES RELACIONALES
• Cuando atribuyen una • Cuando relacionan dos o
cualidad o circunstancia mas sujetos.
del sujeto. • Ejemplo:
• Ejemplo: • “Manuel escribe a María”
• “Ana es muy • “Rosa es vecina de Elena”
responsable(cualidad)”
• “Pedro es
chiclayano(circunstancia)”
Clasificación de las proposiciones:
También llamadas coligativas, son aquellas que
poseen dos o mas proposiciones simples, unidad por
CLASES: un operador lógico.
Conjuntivas
Disyuntivas excluyentes
Implicativas
Replicativas
Bi implicativas
Disyuntivas excluyentes
Binegacion conjuntiva
Binegacion disyuntivas
Negativas
LOS CONECTORES LÓGICOS
Son palabras que vinculan las ideas expresadas en dos o mas proposiciones simples, para
comunicar algo mas complejo. Los conectores lógicos están identificados con un símbolo
especial y nombre que representa la función que cumple.
SINÓNIMOS DE LOS CONECTORES LÓGICOS
SINÓNIMOS DE LOS CONECTORES LÓGICOS
SINÓNIMOS DE LOS CONECTORES LÓGICOS
SINÓNIMOS DE LOS CONECTORES LÓGICOS
SINÓNIMOS DE LOS CONECTORES LÓGICOS
SINÓNIMOS DE LOS CONECTORES LÓGICOS
FORMALIZACIÓN DE PROPOSICIONES
Es un proceso de transformar textos en esquemas lógicos
(formula lógica), de tal manera que las formulas solo presente
variables, símbolos de agrupación y conectores lógicos.
EJEMPLOS:
p q
“Es falso que el mercurio no es un mineral y que es el menor pesado”
SOLUCIÓN: La proposición se formaliza como:
~ ( ~ p ^ q)
ELEMENTOS DE LA PROPOSICIÓN
a) OPERADORES LÓGICOS: Son símbolos cuyos significado esta determinado.
b) MODO LINGÜÍSTICO: Son las diversas formas de expresión liguistica de cada operador.
Ejemplo: Los modos linguisticos de la conjunción; además de “y” son “sim embargo”.
“además”, “no obstante”, etc.
c) VARIABLES PROPOSICIONALES: son símbolos de significado indeterminado, ya que
representan a cualquier proposición. Ejemplo: p,q,r,t,A,B,C,D, etc.
d) SIGNOS AUXILIARES: De jerarquía son los signos de agrupación que sirven para jerarquizar a
los operadores y son los siguientes: ( ), [ ], { } de menor a mayor jerarquía. EJEMPLO:
{[(A→B) ^ (B→C)]→(A→C)}
e) JERARQUÍA DE LAS OPERACIONES: se usa cuando no hay símbolos auxiliares. Criterios de
jerarquía de menor a mayor:
1° ~ 4° ұ
2° ^ 5° ↔
3° → 6° ⌐
CRITERIOS DE FORMALIZACIÓN
1° IDENTIFICAR OPERADORES: para convertir en su explicitación verbal a su símbolo
respectivo.
EJEMPLO: “SI HAY NUBES Y VIENTO ENTONCES LLOVERÁ”
Los operadores proposicionales son “ si … entonces” , “y” cuyos símbolos son “→”, “Ʌ”
Además hay que considerar los signos lingüísticos que remplazan a los operadores:
EJEMPLO: “CARLOS ES ESTUDIANTE, COMERCIANTE Y ADEMÁS RESPONSABLE”
El signo lingüístico es (,) que remplaza a la conjunción (Ʌ)
USO DE LA COMA(,): se usa para remplazar a la conjunción, disyunción incluyente, excluyente o
al “entonces” en una implicación. Además para separar proposiciones.
CRITERIOS DE FORMALIZACIÓN
2° ELEGIR VARIABLES PROPOSICIONALES: cada variable representa a una proposición simple
que debe estar en sentido afirmativo.
p q r
“SI HAY NUBES Y VIENTO ENTONCES LLOVERÁ”
3° AGRUPARLOS MEDIANTE SIGNOS AUXILIARES DE JERARQUÍA.
Del ejemplo anterior: (p Ʌ q) → r
Al agruparlos se vería así: pɅq→r
EJEMPLOS:
EJEMPLOS:
EJEMPLOS:
q
EJEMPLOS:
EJEMPLOS:
TABLAS DE VERDAD -APLICACIÓN
EJERCICIOS: EJERCICIOS:
• ¬(pɅq) • (p Ʌ ¬q) V (¬p Ʌ ¬q)
• pɅ¬q • (p V ¬q) Ʌ r
• ¬pɅ¬q • (p V q) Ʌ ¬r
• (p Ʌ q) Ʌ (p V ¬q) • (p Ʌ q) → r
Ejercicio 01
P q (p Ʌ q) ⌐(pɅq)
Ejercicio 02
P q
Ejercicio 03
p q ¬p ¬q ¬p Ʌ ¬q
Ejercicio 04 (p Ʌ q) Ʌ (p V ¬q)
p q (p Ʌ q) Ʌ (p V ¬q)
Ejercicio 05 (p Ʌ ¬q) V (¬p Ʌ ¬q)
p q
(p Ʌ ¬q) V (¬p Ʌ ¬q)
Ejercicio 06 (p V ¬q) Ʌ r
p q r (p V ¬q) Ʌ r
Ejercicio 07 (p V q) Ʌ ¬r
p q (p V q) Ʌ ¬r