UNIVERSIDAD POLITECNICA TERRITORIAL

JOS ANTONIO ANZOTEGUI

Asignatura: LGICA MATEMTICA.

PNF: INGENIERA INFORMTICA. (IF04, IF05)
Docente: Ing. ROSANA CAMPOS.

LGICA PROPOSICIONAL.
La lgica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cmo la verdad se
transmite de unas proposiciones (premisas) a otras (conclusin). Una proposicin es la unidad mnima de
significado susceptible de ser verdadera o falsa.

Proposiciones
Una proposicin es un enunciado, declaracin, sentencia que puede tomar valores de verdadero (1) o falso
(0).
Ejemplos de Proposiciones:
Caracas es la capital de Venezuela.
3+5=7
La tierra es el nico planeta en el universo que tiene vida.
Los nicos enteros positivos que dividen a 7 son 1 y el propio 7.
Para representar las proposiciones se utilizan letras maysculas tales como P, Q, R, etc. Por ejemplo:
P: Hoy es martes.
Q: Hay clase de matemticas.
En cualquier lgica, las proposiciones se clasifican en simples o compuestas. Las proposiciones simples se
identifican porque no contienen otras afirmaciones que la compongan (tomos). Las
proposiciones compuestas se obtienen al combinar proposiciones simples para expresar afirmaciones ms
complejas.

Valor de Verdad
Llamaremos valor verdadero o de verdad de una proposicin a su veracidad o falsedad. El valor de verdad de
una proposicin verdadera es verdad (1) y el de una proposicin falsa es falso (0).

Conectivos Lgicos
Los conectivos lgicos, tambin conocidos como operadores lgicos, operadores proposicionales son smbolo
o palabra que se utiliza para conectar dos o ms proposiciones. Conectivos lgicos comnmente usados:

Negacin: es un operador que se ejecuta sobre un nico valor de verdad, devolviendo el

valor contradictorio de la proposicin considerada. Se escribe ~ P, y se lee "no P. EJEMPLOS:
P:
4 + 4 es igual a 9
~ P: 4 + 4 no es igual a 9

Conjuncin: es aquella proposicin que es verdadera cuando P y Q son verdaderas, y falsa en

cualquier otro caso. Se escribe P Q, y se lee "P y Q". EJEMPLO:
P: El nmero 4 es par

Entonces

Q: Siempre el residuo de los nmeros pares es 2

P ^ Q: El nmero 4 es par y Siempre el residuo de los nmeros pares es 2

Disyuncin: es aquella proposicin que es verdadera cuando al menos una de las dos P o Q es
verdadera, y falsa en caso contrario. Se escribe P Q, y se lee "P o Q". Ejemplo:
P: el elevador sube.
Q:
el elevador baja.
P Q: El elevador sube o el elevador baja

Disyuncin exclusiva: es aquella proposicin que es verdadera cuando una y slo una de las dos P o
Q es verdadera, y falsa en cualquier otro caso. Se escribe P Q, y se lee "P o Q pero no ambas". Se
usa muy poco. EJEMPLO:
P: 18 es mltiplo de 6.
Q: 18 es mltiplo de 5.
P Q: 18 es mltiplo de 6 18 es mltiplo de 5.

Condicional: es aquella proposicin que es falsa nicamente cuando la condicin suficiente P es

verdadera condicin necesaria Q es falsa. Se escribe P Q, y se lee "si P entonces Q". EJEMPLO:
P: llueve
Q: hay nubes
P Q: si llueve entonces hay nubes

Bicondicional: es aquella proposicin que es verdadera cuando P y Q tienen el mismo valor de

verdad, y falsa en caso contrario. Se escribe P Q, y se lee "si y slo si P entonces Q". EJEMPLO:
P: 10 es un nmero impar
Q: 6 es un nmero primo
P Q: 10 es un nmero impar si y solo si 6 es un nmero primo

Tablas de verdad.
Las Tablas de verdad son un instrumento empleado en la lgica proposicional, para indicar las diferentes
interpretaciones de una frmula y el resultado de las mismas.

Cada conector est definido por una tabla de la verdad y le corresponde una funcin: Negacin, Conjuncin,
Disyuncin, Condicional, Bicondicional.
Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una
proposicin falsa.
Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada.

Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes.

Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta.

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente

es falso. De la verdad no se puede seguir la falsedad.

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de

verdad.

Las tablas de verdad nos permiten clasificar las expresiones lgicas en:
o

Tautologa: es una expresin lgica que es verdadera para todas las asignaciones posibles.

Contradiccin: es una expresin lgica que es falsa para todas las asignaciones posibles.

Contingencia: es una expresin lgica que no es ni tautologa ni contradiccin.

Leyes del Algebra de Proposiciones

Las leyes de la algebra de proposiciones son equivalencias lgicas que se pueden demostrar con el desarrollo
de las tablas de verdad del bicondicional.
Las proposiciones compuestas P y Q son lgicamente equivalentes y se escribe P Q o P Q cuando
ambas tienen los mismos valores de verdad.
El hecho de que unas proposiciones sean equivalentes a otras permite:

Reducir el nmero de operaciones con el que es necesario trabajar una operacin puedes ser sustituida
por otra u otras con las que obtengan los mismos valores.

Simplificar proposiciones compuestas siempre que sea posible sustituirlas por otra ms simple con los
mismo valores de verdad

Demostrar que una proposicin es equivalente a otra y puede ser sustituida por ella.

Ejercicios:
1. Sean las proposiciones:
P: Est nevando.
Q: Ir a la ciudad.
R: Tengo tiempo.
A. Escribir, usando conectivos lgicos, una proposicin que simbolice cada una de las
afirmaciones siguientes:
a. Si no est nevando y tengo tiempo, entonces ir a la ciudad.
b. Ir a la ciudad slo si tengo tiempo.
c. No est nevando.
d. Est nevando, y no ir a la ciudad.
B. Enunciar las afirmaciones que se corresponden con cada una de las proposiciones
siguientes:
a) Q (R (~P))
b) (Q R) (R Q)
c) R ^ Q
d) ~ (R Q)

2. Siendo P los precios son bajos y Q los precios no suben, escribir en lenguaje
corriente las expresiones simblicas siguientes:
a) ~ P
b) ~ P ^ ~Q
c) P ^ Q
d) ~ (P ~Q)
e) P ^ ~Q

3. Sean P tengo un loro y Q tengo un gato, escribir en lenguaje corriente y luego

simplificar:
~ (~P ~ (~Q)) ^ ~ (~P)
4. Pruebe y clasifique las siguientes proposiciones como Tautologa, Contradiccin o
Contingencia.
a. (P ^ Q) ~ (P (~Q))
b. [P(QR)] [P^(~Q) R]
c. [(AB) ^(BC)] (AC)
d. (AB) [(CA) (CB)
e. ~ [P (~P^Q)]
5. A partir del algebra proposicional, demostrar la validez del siguiente argumento:
Si 2 es par, entonces 5 no es divisor de 9 por otra parte 11 no es primo
o 5 es divisor de 9. Adems, 11 es primo. Por tanto, 2 es impar.
6. Demuestre:

7. Verificar, utilizando tablas de verdad, cules de las siguientes proposiciones son

equivalentes:

8. Siendo p: Jos es estudioso y q: Juan es estudioso, escribir en forma simblica: