lógica de
proposiciones
Yelmin Pérez
[email protected]
Objetivos generales
Presentar intuitivamente los principios del
razonamiento lógico e introducir los conceptos de
teoremay demostración matemática en ámbitos
variados; particularmenteen:
. lalógica simbólica (o modelo delos enunciados),
. lateoríade conjunto (o modelo cualitativo del
universo), y
. en los conjuntos numéricos conocidos.
INTRODUCCION
La matemática estudia las propiedades de ciertos
objetos, tales como números, operaciones,
conjuntos, etc.
Es necesario por lo tanto contar con un
lenguaje apropiado para expresar estas
propiedades de manera precisa.
Desarrollaremos aquí un lenguaje que cumpla
estos requisitos, al cuál llamaremos lenguaje
matemático.
LENGUAJE MATEMATICO
El lenguaje matemático está formado por
una parte del lenguaje natural, al cuál se le
agregan variables y símbolos lógicos que
permiten una interpretación precisa de cada
frase.
Proposiciones.
Llamaremos proposiciones a aquellas frases
del lenguaje natural, las cuales podamos
afirmar que son verdaderas o falsas.
Ejemplos de proposiciones:
Dos es par
Tres es mayor que diez
Tres más cuatro es nueve
Una proposición es simple o atómica, si
ninguna parte de ella es a su vez una proposición.
Ejemplos de proposiciones simples o atómicas:
“Dos es un número par".
"Tres es mayor que cuatro".
"Tres más cinco es mayor que cuatro".
Se usan letras minúsculas p, q, r, s,...etc., para
denotar proposiciones simples o atómicas.
Alfabeto delalógica pr
3. SÍMBOLOS AUXILIARES
- Son paréntesis y corchetes, que sirven
para agrupar los otros símbolos de
manera que se puedan evitar
( ) [ ]
Alfabeto
proposicional
delalógica
He aquí todo de una vez:
CONSTANTES: p,q,r,s,t, u, p 1, p 2, p 3 …
CONECTIVAS: ¬, , , → ,
AUXILIARES: (, ), [, ]
La propiedad fundamental de una proposición, es
que ella puede ser verdadera o falsa, pero no ambas
cosas a la vez.
El valor deverdad de una proposición simple
depende exclusivamente del enunciado de la
proposición.
Es verdadero.
“Dos es un número par".
"Tres es mayor que cuatro". Es Falso.
"Tres más cinco es mayor que cuatro". Es verdadero.
Algunos enunciados o proposiciones son
compuestos, es decir, están formados
de proposiciones simples y de conectivos
que
los unen.
2 es un número entero y es positivo
Si llueve, el piso se moja
Si es un entero, entonces es real
Si estudio y hago los ejercicios, entonces
aprueboy paso de curso
El valor de verdad de una proposición
compuesta depende completamente del valor
de verdad de cada proposició n simple y del
modo como se les reúne o conecta
para formar la proposición compuesta.
Conectivos
Negación. Es aquel conectivo que niega
la proposición, y normalmente se
utiliza anteponiendo “no”, o anteponiendo la
frase es falso que.
Simbólicamente la negación se puede representar
en lenguaje matemático, de tres formas diferentes:
I.- Anteponiendo el símbolo “军 ” . “ 军 p” significa “no p” .
II.- Sobreponiéndole una barra “ p “
III.- Anteponiendo el símbolo “~ ” . “ ~p” significa “no p” .
Conjunción. Es aquel conectivo que une dos
proposiciones, incluyéndolas obligatoriamente
ambas.
Se utiliza “y” como conectivo de conjunción.
"dos es par y tres es impar
Simbólicamente la conjunción “y” se representa en
lenguaje matemá tico conelsí mbolo ^
y = ^
Disyunción. Es aquel conectivo que une
dos proposiciones ofreciendo una alternativa entre
una proposición o la otra, así como también
ofrece la posibilidad que sean ambas.
"dos es mayor que siete o siete es mayor que dos".
La proposición está compuesta por las
proposiciones simples
"dos es mayor que siete"
junto con
" siete es mayor que dos",
conectadas por la palabra "o“, que constituye el
conectivodedisyunción, ysusímboloes “ ”
DISYUNCIÓN EXCLUYENTE
• Es ladisyunción peroque suvalordeverdad acepta una sola
proposición comoverdadera.
• No puedenocurrir lasdos proposiciones almismo tiempo.
• Ejemplo: Me caso con Rositao con Doris
• Hoya las 3 voyal Parque Arauco o al Alto Las Condes.
• Su notaciónes:
p q
Implicación o Condicional
Es aquél conectivo en el que se establece una
condición para que se cumpla la otra
proposición.
normalmente se establece como:
“Si se cumple p, entonces se cumple q”
p → q
Bicondicional o doble
implicancia.
Es aquel conectivo de la forma:
“se cumple p si y solamente si se cumple q” .
p q” .
Esto significa que también se cumple la
situación inversa,
es decir que como se cumple q, también se
cumple p
Valores de verdad de la negación:
p 军p
V F
F V
Valores deverdad de la conjunción:
p q p^q
V V V
V F F
F V F
F F F
Valores deverdad de la disyunción:
p q p q
V V V
V F V
F V V
F F F
Valores deverdad Disyunción excluyente
p q p q
V V F
V F V
F V V
F F F
Valores deverdad de la implicancia:
p q p→q
V V V
V F F
F V V
F F V
Valores deverdad de la bicondicional:
p q p q
V V V
V F F
F V F
F F V
Verdad lógica o Tautología.
Son aquellas proposiciones que siempre son
verdad, sin importar los valores de verdad
de las proposiciones que la componen.
Consideremos la proposición ((p ^ q) → p)
p q p ^ q (p^q)→ p
V V V V
V F F V
F V F V
F F F V
Contingencia
Son aquellas proposiciones que
pueden serverdad o falso, dependiendo
de los valores de verdad de las
proposiciones
que le componen.
Contradicciones.
Son aquellas proposiciones
que siempre son falsas, sin importar los
valores de verdad de las proposiciones
que la componen.
Álgebra de proposiciones
p→q = p q
p q p→q
p q p q
V V
V F
F V
F F
Verdades lógicas usuales.
Ley de Idempotencia
p p p
p^p p
Ley Asociativa
(p q ) r p (q r)
(p ^ q) ^ r p ^ (q ^ r)
Ley Conmutativa
p^q q^p
p q q p
Ley Distributiva a . (b + c ) 今 (a . b) + (a . c)
p 量 (q ^ r) 今 (p 量 q) ^ (p 量 r)
p ^ (q 量 r) 今 (p ^ q) 量 (p ^ r)
Ley de Identidad
p量F 今p
p量V Leyes de DeMorgan
今V
p^V 今p
p^F (p ^ q) 今 p 量 q
今F
(p 量 q) 今 p ^ q
Implicancia
p→ q常 p量 q
p 今 q 常 (p → q) ^ (q → p)
Leyes del Complemento Ley de Absorción
p p =V p (p ^ q) p
p^ p =F p ^ (p q) p
p p
V =F
F =V
p→q p^q
(p q) (p q)
p q ((p ^ q) (q ^ p)
(p → (q ^ q)) p
Utilizandolasequivalenciaslógicas
p→q=p
q
p→q=p
q
p→q=p^
q
p→ q= p^ q
Implicancia
Negación
DeMorgan
Utilizandolasequivalenciaslógicas
(p → q) ^ (p → q) = q
(p 量 q) ^ (p 量 q) Implicancia
[(p 量 q)^ p] 量 [(p 量 q)^ q] distribución
( )
(p ^ p)量 (q ^ p)量 p ^ q 量 (q ^ q) distribución
F 量 ( q ^ (p 量 p) ) 量 q
F 量 ( q ^ V ) 量 q
F 量 q 量 q
q
Proposiciones ló gicamenteverdaderas
((p → q) ^ p) → q
((p → q) ^ (q → r)) (p → r)
((p q) ^ (q r)) (p r)
(p → q) ( p q)
(p q) (p → q) ^ (q → p)
((p → q) ^ (q → r) ^ (r → p)) ((p q) ^ (q r))
((p → q) ^ ( p → q)) q
((p → q) ^ (r → q)) ((p q) → q)
((p → (q ^ r)) ((p → q) ^ (p → r))
((p → (q r)) ((p → q) (p → r))
((p ^ r) → q)) (p → (r → q))
Modus Ponendo Ponens
El condicional o implicación es aquella operación
que establece entre dos enunciados una relación de
causa- efecto. La regla ‘ ponendo ponens’ significa,
“afirmando afirmo” y en un condicional establece,
que si el antecedente (primer término, en este caso
p) se afirma, necesariamente se afirma el
consecuente (segundo término, en este caso q).
Modus Ponendo Ponens
p∧ (p → q) q
Si llueve la calle se moja. Llovió, entonces la calle se mojó
Si el impuesto a la bencina baja, gastamos
menos dinero en transportarnos.
El impuesto bajó, entonces gasto menos dinero.
Modus Tollendo Tollens
‘Tollendo tollens’ significa “negando, niego”, y
se refiere a una propiedad inversa de los condicionales, a
los que nos referíamos en primer lugar.
(p → q) ∧ ~ q ~p
Modus Tollendo Tollens
Si de un condicional, aparece como premisa
el consecuente negado (el efecto), eso nos conduce
a negar el antecedente (la causa), puesto que si
un efecto no se da, su causa no ha podido darse.
Si aumenta el I.V.A. los presios suben.
Los precios no han subido, por lo tanto el I.V.A. no
ha aumentado.
MODUS TOLLENDO PONENS (TP)
si uno de los miembros de una disyunción es negado,
el otro miembro queda automáticamente afirmado, ya
que uno de los términos de la elección ha sido descartado.
Si ( p q)^~q p
Fue al cine o de compras.
No fue de compras, entonces fue al cine
