Nociones de lógica

Facultad de Medicina
¿Qué es la lógica?

La lógica es la ciencia que expone

las leyes, modos y formas de
raciocinio.

¿Qué aporte le hace la lógica a la

matemática?
De acuerdo a la respuesta anterior,
podemos asegurar que la simbología
que usa la lógica, ayuda a la matemática
en todos sus razonamientos.
 Tarea de la lógica
1. Determinar la falsedad o verdad de una premisa
es tarea de la ciencia en general

2. El lógico no está interesado en la verdad o

falsedad de las proposiciones sino en las
relaciones lógicas entre ellas, es decir, la
validez de los argumentos en que pueden
aparecer.

3. La lógica nos da los elementos para afirmar

sobre la validez de un argumento
ENUNCIADO Y PROPOSICIÓN
Enunciado
Se llama enunciado a toda frase u oración.
Ejemplos:
* ¿Qué estudias en la Universidad?
*3+5=8
* ¿como te sientes?
*x+3=4
* Lima es la capital del Perú.
Proposición
Es un enunciado que tiene la propiedad de ser
verdadera (V) o falsa (F), pero no ambos a la vez.
Ejemplos:
* Lima es la capital del Perú.
* Lima es la capital de Colombia.
* La suma de dos números impares es un número
impar.
* 2 + 3 < 10 – 2
* Juan es abogado.
Clases de proposiciones
Las proposiciones pueden clasificarse en
atómicas (simples) y moleculares (compuestas).
Las primeras se caracterizan por carecer de
conjunciones; las segundas por contenerlas.
Ejemplos:
* Las plantas son seres vivos.
* 19 es un número par.
* Enrique es abogado o estudia ingeniería.
* 3 + 5 = 8 y 10 – 45 = 3
Las expresiones lógicas
Un signo gráfico o un grupo de signos
gráficos recibirán el nombre de expresión.
Las expresiones pueden agruparse en dos
clases: argumentos (variables) y
operadores (constantes).
Los operadores pueden ser monádicos o
diádicos según determinen a uno o dos
argumentos.
Ejemplos:
Monádicos
* La rosa es blanca. Todos los osos
Arg. Operador Arg. Operador
* No es el caso que, la música es una ciencia
Diádicos
* Kant es filosofo y Einstein es científico
Arg Operador Arg
* Si el mendigo ve entonces no es ciego
Símbolos
Los símbolos que se emplean en la lógica
proposicional son los siguientes:
Variables proposicionales
Sirven para representar las proposiciones
atómicas o simples. Se emplean las letras
minúsculas del alfabeto
p, q, r, s,…
Operadores veritativos
Son constantes lógicas que representan a
las diversas conjunciones. Los diferentes
símbolos usados son:
Negación ………… ~
Conjunción ……… 
Disyunción ……… 
Condicional ……… 
Bicondicional .…… 