PROPOSICIONES LOGICAS:
Sin la lógica los axiomas serian un montón de verdades aceptadas, pero nada
más. La lógica, sin embargo, les da sentido y permite concluir nuevas verdades
(teoremas) que antes no conocíamos. Un ejemplo de teorema: la suma de los
´ángulos interiores de cualquier triangulo siempre es de 180°.
PROPOSICIONES LÓGICAS
ENUNCIADO.- Es toda frase u oración que se utiliza en nuestro lenguaje
Proposición Valor de
verdad
EXPRESIONES NO PROPOSICIONALES
a) ¡Levántate temprano!
d) ¿Cuál es tu nombre l?
e) Prohibido pasar
f) Borra el pizarrón
Ejemplos:
Sí x: Lima, Quito…
b) q: y + 4 = 11 , y es número natural
y: 0; 1; 2; 3; 4;…..
CLASE DE PROPOSICIONES
A) Proposición Simple o Atómicas.- Son aquellas proposiciones que constan de
un solo enunciado proposicional .
p q
Encontramos dos enunciados, el primero (p) nos afirma que Pitágoras era griego
y el segundo (q) que Pitágoras era geómetra.
r: Juan es profesor y
s : Manuel es arquitecto
Es decir , p : r o s
Sin la lógica los axiomas serian un montón de verdades aceptadas, pero nada
más. La lógica, sin embargo, les da sentido y permite concluir nuevas verdades
(teoremas) que antes no conocíamos. Un ejemplo de teorema: la suma de los
´ángulos interiores de cualquier triangulo siempre es de 180°.
PROPOSICIONES LÓGICAS
Notación.- Por lo general, a las proposiciones se las representa por las letras del
alfabeto desde la letra p, es decir, p, q, r, s, t,... etc.
EXPRESIONES NO PROPOSICIONALES
a) ¡Levántate temprano!
d) ¿Cuál es tu nombre l?
e) Prohibido pasar
f) Borra el pizarrón
Ejemplos:
Sí x: Lima, Quito…
Para p (Lima): Lima es la capital del Ecuador es falso (F)
b) q: y + 4 = 11 , y es número natural
y: 0; 1; 2; 3; 4;…..
CLASE DE PROPOSICIONES
A) Proposición Simple o Atómicas.- Son aquellas proposiciones que constan de
un solo enunciado proposicional .
p q
Encontramos dos enunciados, el primero (p) nos afirma que Pitágoras era
griego y el segundo (q) que Pitágoras era geómetra.
r: Juan es profesor y
s : Manuel es arquitecto
Es decir , p : r o s
CONECTORES LOGICOS
Enlazan proposiciones simples, o a partir de proporciones simples es posible generar
otras, simples o compuestas. Es decir que se puede operar con proposiciones, y para
ello se utilizan ciertos símbolos llamados conectivos lógicos.
OPERACIONES PROPOSICIONALES
NEGACIÓN
Dada una proposición p, se denomina la negación de p a otra proposición
denotada por -p (se lee "no p") que le asigna el valor veritativo opuesto al de p.
Por ejemplo:
Ejemplo:
Ejemplo
p: 5 es un número impar
q: 6 es un número par,
DISYUNCIÓN
Por ser al menos una de las proposiciones verdadera la conjunción es verdadera
IMPLICACIÓN o CONDICIONAL
Tabla de verdad
Tabla de verdad
DIFERENCIA SIMÉTRICA
Ejemplo:
Queda claro que sólo podremos ir a uno de los dos lugares, y sólo a uno.
Es decir que el enunciado i) es verdadero sólo si vamos a una de las dos
ciudades. En caso de ir a ambas, o de no ir a ninguna, el enunciado es Falso.
CONJUNCIÓN NEGATIVA
Ejemplo:
1.Tengo caramelos
2.Tengo un helado
CALCULO DE VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS
Utilizando los conectivos lógicos, se pueden combinar cualquier número finito de
proposiciones simples, para obtener otras proposiciones cuyos valores de verdad pueden ser
conocidos construyendo sus tablas de verdad.
Ejemplos:
3.-PROPOSICIONES LÓGICAMENTE EQUIVALENTE
Ejemplo:
TAUTOLOGÍA
Si al evaluar una fórmula lógica, resulta que todos los valores de verdad resultantes son
siempre V para cualquier combinación de sus valores de verdad, decimos que dicha fórmula es
una Tautología o Ley lógica.
Ejemplo:
CONTRADICCIÓN
Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que para
cualquier valor de verdad de las proposiciones intervinientes el resultado de dicha fórmula es
siempre falso, decimos que dicha fórmula es una Contradicción.
Ejemplo:
CONTINGENCIA
Está formada por equivalencias lógicas, las cuales nos permiten simplificar un
problema y expresarlo en forma más sencilla y como bien dijimos arriba, aquellas
fórmulas lógicas que resultan ser siempre verdaderas no importa la combinación
de los valores de verdad de sus componentes, son tautologías o leyes lógicas.
REGLAS DE LA FALACIA
DEDUCCION PROPOSICIONAL
Ejemplo 4:
p: La ballena es un mamífero
Ejemplo 5:
c: continúa lloviendo
r: el río crece
a A
Gustavo es ingeniero
Pedro es ingeniero
Mario es ingeniero
“X es ingeniero”
2.- CUANTIFICADORES
Las expresiones:
Pueden traducirse:
CUANTIFICADOR UNIVERSAL
CUANTIFICADOR EXISTENCIAL
NEGACIÓN DE PROPOSICIONES CUANTIFICADAS