CONCEPTOS BSICOS DE LGICA

LGICA PROPOSICIONAL
En lgica y matemtica, la lgica proposicional es un sistema formal diseado para analizar ciertos tipos de argumentos.
En la lgica proposicional, las frmulas representan proposiciones y las constantes lgicas son operaciones sobre las
frmulas que producen otras frmulas de mayor complejidad.
1
Como otros sistemas lgicos, la lgica proposicional intenta
esclarecer nuestra comprensin de la nocin de consecuencia lgica para el rango de argumentos que analiza.
ENUNCIADO
Antes de dar la definicin de enunciado, escribiremos un conjunto de afirmaciones con las que estamos familiarizados:
Dos es un nmero primo
Qu calificacin obtuviste en la primera evaluacin de Lgico Matemtico?
x + 2 = 5
8 + 1 = 1 + 8
Qu hora es?
No escribir en la pared!
Llueve
Estas afirmaciones estn expresadas en un lenguaje determinado, que en este caso es el espaol, con la diferencia que la
tercera y la cuarta estn expresadas en lenguaje matemtico. A estas afirmaciones que son frases u oraciones del lenguaje
las llamaremos enunciados.

PROPOSICION Se entiende por proposicin a todo enunciado que puede ser verdadero o falso
ENUNCIADOS ABIERTOS
Los enunciados que usan las palabras l, ella y los smbolos x, y, z no tienen la propiedad de ser verdadero o falso, es
decir, no son proposiciones.
Ejemplo:
Ella siempre miente
5x + 2 > 6
Sin embargo, si a una de ellas se le asigna un determinado nombre de persona o valor, llamado constante, se convierte en
proposicin. A este tipo de enunciados se llaman enunciados abiertos.
Luego las expresiones anteriores se convertirn en proposiciones si:
Carla siempre miente
x = 5 , luego: 5(5) + 2 > 6
RESUMIENDO
De los ejemplos mencionados anteriormente podemos afirmar: que:
Dos es un nmero primo

( es un enunciado verdadero)
-10 + 30 = -10 ( es un enunciado falso)
8 + 1 = 1 + 8 ( es un enunciado verdadero)
X + 2 = 5
Ella miente
El canta

Una expresin que contiene una variable. No es
proposicin porque no asevera nada. A este enunciado le
llamaremos proposicin abierta.
Qu hora es?

Los enunciados que llevan una intencionalidad emotiva,
que comunican mandatos, normas, interrogaciones,
emociones, etc., no son proposiciones.
No escribir en la pared
Llueve
Qu calificacin obtuviste en la
primera evaluacin de?

Toda frase u oracin del lenguaje es un enunciado


VALORES DE VERDAD
El valor de verdad de una proposicin p, denotado por VL (p), (VL = valor lgico) expresa la veracidad o falsedad de dicha
proposicin, es decir la posibilidad de ser VERDADERA (V) o FALSA (F).
En otras palabras:
Una proposicin es verdadera cuando concuerda con la realidad. Y se simboliza con V de (VERDADERA)
Una proposicin es falsa cuando no concuerda con la realidad. Y se simboliza con F de (FALSA)
Ejemplos:
P : Lima es la capital del Per VL (p) = V
q : 8 + 3 = 14 5 VL (q) = F

CLASIFICACION DE PROPOSICIONES
Proposiciones simples:
Analicemos las siguientes proposiciones:
La regin Grau est al sur de Lima.
La luna es un satlite de la tierra.
El Huascarn es el nevado ms alto del Per.
Se puede observar que las proposiciones anteriores estn compuestas por un solo sujeto y un solo predicado.
Luego:
Proposiciones compuestas:
Observemos las siguientes proposiciones simples:
p : 5 es un nmero primo
q : 4 es un mltiplo de 2
r : Todo cuadrado es un rectngulo
Si enlazamos estas proposiciones, con los trminos no , y, o.o, si, entonces, si y slo si llamados conectivos
lgicos, podemos construir otras proposiciones; como por ejemplo:
p y q : 5 es un nmero primo y 4 es un mltiplo de 2
q o r : 4 es un mltiplo de 2 o todo cuadrado es un rectngulo.
N o q : 4 no es un mltiplo de 2.
Luego:


TABLA DE CONECTIVOS LOGICOS
SIMBOLO ESQUEMA NOMBRE LECTURA SIGNIFICADO
~ ~ p Negacin No p es falso, no es cierto que, es imposible que
p q Conjuncin p y q
pero, tambin, aunque, sin embargo, no obstante,
adems
p q
Disyuncin
incluyente
p o q
p q
Disyuncin
excluyente
o p o q
p q Condicional Si p, entonces q
porque, puesto que, ya que, si, cuando, cada vez
que, p es condicin suficiente para q, q es condicin
necesaria para p.
p q Bicondicional p si y slo si q
p es una condicin suficiente y necesaria para q; q es
condicin suficiente y necesaria para p.
Una proposicin simple est compuesta por un solo sujeto y un solo predicado.
Proposicin compuesta a aquella proposicin formada de por lo menos dos o ms proposiciones simples, enlazadas con los conectivos lgicos.



TABLA DE VERDAD
La tabla es una tcnica que te permite obtener el valor de verdad de una proposicin simple o compuesta.
Para una proposicin simple "p":

Hay: 2
1
= 2 posibilidades
Para dos proposiciones: p, q:
p q

V V
V F
F V
F F
Hay: 2
2
= 4 posibilidades
Para tres proposiciones: p, q, r:
p q r

V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Hay: 2
3
= 8 posibilidades

LA NEGACION
Dada una proposicin p. La negacin de p es otra proposicin escrita como ~p y que le asigna un valor de verdad opuesto
al de p. As: ~p, se lee: no p o no es cierto que p. Su tabla de verdad es:
p ~p
V F
F V

VARIABLES
PROPOSICIONALES
CONJUNCIN
DISYUNCIN
INCLUSIVA
DISYUNCIN
EXCLUSIVA
CONDICIONAL BICONDICIONAL
p q p q p q p q p q p q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V




EJEMPLOS:
1. El len es un animal y la planta es mineral
Si: p : El perro es un animal VL (p) = V
q : La planta es un mineral VL (q) = F
Entonces: VL (p q) = F

2. Alberto es ingeniero o profesor de Matemtica.
Si: p: Alberto es ingeniero VL (p) = F
q: Profesor de matemtica VL (q) = V
Entonces: VL (p q) = V
3. Si 5
3
= 125, entonces 3x5 =15
Sean: p: 5
3
= 125 Luego VL (p) = V
q: 3x5 =15 Luego VL (q) = V
Entonces: VL (p q) = V
4. Si la luna es un planeta, entones el sol es una estrella
Sean: p: La luna es un planeta Luego VL (p) = F
q: El sol es una estrella Luego VL (q) = V
Entonces: V L (p q) = V
5. Si el sol es una estrella, entonces la luna es un planeta.
Sean: p: El sol es una estrella Luego VL (p) = V
q: La luna es un planeta Luego VL (q) = F
Entonces: VL (p q) = F

TAUTOLOGAS, CONTRADICCIONES Y CONTINGENCIAS

TAUTOLOGA: Se entiende por tautologa aquella proposicin cuya tabla de verdad da siempre el valor de verdad V
CONTRADICCIN: Una contradiccin es una forma proposicional que es falsa para cualquier valor lgico que se le asigne
a sus variables proposicionales. Es decir, si en su tabla de verdad se obtiene F (Falso).
CONTINGENCIA: Si una proposicin contiene al menos un valor verdadero y al menos un valor falso, entonces se dice que
es contingencia
La siguiente tabla muestra ejemplos proposicionales de tautologa, contradiccin y contingencia

p q p (p q) ~ (p q) q (p p) q
V V V F V
V F V F F
F V V F V
F F V F V