Instituto Universitario Aeronutico

Facultad de Ciencias de la Administracin

Carrera: Ingeniera de Sistemas

Trabajo Prctico Unidad N 2: Lgica Proposicional Alumno: Lucas Singh

Este trabajo debe realizarse con la ayuda de la Unidad 2 de la Gua de Estudio e Internet.

1. Explique claramente qu entiende por Lgica proposicional. Ejemplifique

2. Cules son los conectivos lgicos que conoce? Ejemplifique

3. A qu llamamos conjuncin o producto lgico? Ejemplifique

4. A qu llamamos disyuncin o suma lgica? Ejemplifique

5. Qu es una tabla de verdad? Ejemplifique

6. A qu llamamos negacin? Ejemplifique

7. Qu entiende por implicacin? Ejemplifique

8. Cundo dos proposiciones son equivalentes? Ejemplifique

9. Explique y ejemplifique: a) Implicacin recproca; b) Implicacin contraria y c) Implicacin

contrarrecproca.

10. Enumere y explique las reglas de prioridad.

11. Qu es una tautologa? Ejemplifique

12. De qu tratan las Leyes de Morgan?

13. De qu tratan las Leyes Distributivas?

14. Qu entiende por Negacin de una implicacin?

15. Cundo hablamos de una equivalencia lgica? Y de una falsedad lgica?

16. Cundo estamos frente a contingencias?

Materia: Introduccin a la Informtica

 Instituto Universitario Aeronutico
Facultad de Ciencias de la Administracin
Carrera: Ingeniera de Sistemas

1. La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms simples
representan proposiciones, y cuyas constantes lgicas, llamadas conectivas lgicas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor
complejidad.
Proposicin: Es toda sucesin de palabras de la cual tiene sentido afirmar que es verdadera o falsa.
Por ej: El sol es verde es una proposicin verdadera. El conjunto de proposiciones unidas por los
conectores lgicos hace a la lgica proposicional.
2. Los conectores lgicos son smbolos que se utilizan para conectar dos o ms proposiciones. Los
ms utilizados son: y o conjuncin lgica o producto lgico, o o disyuncin lgica o suma
lgica, Negacin lgica.

3. Conjuncin: Dadas dos proposiciones p, q, se llama conjuncin o producto lgico de p y q, a la

Proposicin que se obtiene enunciando q a continuacin de p, unidas ambas por la
palabra y. Se indica p q, y se lee p y q.
Un cuadrado es un rombo y un rectngulo.
p = Un cuadrado es un rombo
q = Un cuadrado es un rectngulo
p q
4. Disyuncin: Dadas dos proposiciones p, q, se llama disyuncin o suma lgica de p y q, a la
proposicin que se obtiene enunciando q a continuacin de p, unidas ambas por la
palabra o, considerada en su uso inclusivo. Se indica p q, y se lee p o q.
Un cuadrado es un rombo o un rectngulo.
p = Un cuadrado es un rombo
q = Un cuadrado es un rectngulo
pq
5. Una tabla de verdad de una proposicin da los valores verdaderos de la proposicin
para todas las asignaciones posibles.
tabla de verdad de la conjuncin:

6. Dada una proposicin p, se llama negacin de p, a la proposicin que se obtiene

colocando la palabra no y enunciando a continuacin la proposicin p. Se indica p, y se
lee no p.
Por ejemplo, si consideramos la proposicin
p = El sol es verde.
su negacin es
p = No el sol es verde

Materia: Introduccin a la Informtica

 Instituto Universitario Aeronutico
Facultad de Ciencias de la Administracin
Carrera: Ingeniera de Sistemas

7. Estudiamos ahora lo que se considera especfico de la lgica y de la matemtica: el

concepto de deduccin o implicacin. Establecemos la siguiente definicin:
Dadas dos proposiciones p, q, se dice que p implica a q, o que q se deduce de p, si no
se verifica que p sea verdadera y q falsa.
La relacin p implica a q, o q se deduce de p, se anota as pq En tal caso p es el
antecedente y q el consecuente de la implicacin.
Sean:
p = (2< 3)
q = El sol es un astro.
No se verifica que p sea verdadera y q falsa, pues p y q son ambas verdaderas; luego
P=> q

8. Dadas dos proposiciones p, q, se dice que p es equivalente a q si se verifica p q y

q p Se anota p q En tal caso, p es el primer miembro y q el segundo miembro
de la equivalencia.
Una proposicin es lgicamente equivalente a otra cuando cada una de las asignaciones de valores
de verdad a las proposiciones simples que las componen genera el mismo valor de verdad en
ambas proposiciones. En otras palabras, dos expresiones son lgicamente equivalentes si sus tablas
de verdad son iguales

9. Dada la implicacin p q se pueden definir las siguientes implicaciones asociadas

a ella.
- Implicacin recproca: la implicacin recproca de p q es q p
- Implicacin contraria: la implicacin contraria de p q es p q
- Implicacin contrarrecproca: la implicacin contrarrecproca de p q es
q p.

10.

Materia: Introduccin a la Informtica

 Instituto Universitario Aeronutico
Facultad de Ciencias de la Administracin
Carrera: Ingeniera de Sistemas

11. Una frmula que slo tiene ejemplos de sustitucin verdaderos se llama tautologa o
verdad lgica.
Consideremos las siguientes proposiciones:
Coln descubri Amrica. (1)
Coln descubri Amrica o Coln no descubri Amrica. (2)
Ambas son verdaderas. La verdad de (1) es un hecho emprico, que conocemos por la
investigacin histrica. Esta proposicin podra ser falsa si los acontecimientos histricos
hubieran sido diferentes. En cambio, (2) por su forma, es necesariamente verdadera; su
verdad es independiente de todo hecho emprico, subsistira cualquiera hubiera sido el
curso de la historia.
La proposicin (2) resulta de reemplazar p por Coln descubri Amrica en la frmula
p p (3)
Ahora bien, cualquier reemplazo en (3) da una proposicin verdadera; por ejemplo,
reemplazando p por Soy el rey de Inglaterra, se obtiene la proposicin verdadera
Soy el rey de Inglaterra o no soy el rey de Inglaterra.

12. leyes De Morgan, tambin son tautologas. Las mismas formulan las relaciones
entre la conjuncin, la disyuncin y la negacin, motivo por el cual presentan especial
inters. La primera nos dice que la negacin de una disyuncin es equivalente a la
conjuncin de las negaciones, y la segunda que la negacin de una conjuncin es
equivalente a la disyuncin de las negaciones.

13. Otras tautologas de inters, son las siguientes leyes distributivas:

(p q) (p r) p (q r) de la conjuncin respecto de la disyuncin
(p q) (p r) p (q r) de la disyuncin respecto de la conjuncin
La primera nos indica cmo distribuye el operador sobre la disyuncin de dos proposiciones, y la
segunda se refiere a cmo distribuye el operador sobre la conjuncin de dos proposiciones. Para
verificar estas leyes construiremos sus tablas de verdad.
Comencemos por la primera. Como cada valor de verdad de p puede asociarse a dos valores de
verdad de q, y por cada uno de estos pares de valores se tienen dos posibilidades para r, en
consecuencia, resultan 23 = 8 filas en la tabla de verdad. Si se dan n proposiciones, en la tabla de
verdad hay que analizar 2n filas.

Materia: Introduccin a la Informtica

 Instituto Universitario Aeronutico
Facultad de Ciencias de la Administracin
Carrera: Ingeniera de Sistemas
14.

15. Equivalencia lgica: En lgica, las declaraciones p y q son lgicamente equivalentes si tienen el
mismo contenido lgico. Este es un concepto semntico, dos afirmaciones son equivalentes si
tienen el mismo valor de verdad en todos los modelos.

Falsedad lgica: Una frmula que slo tiene ejemplos de sustitucin falsos se llama contradiccin o
falsedad lgica.

Materia: Introduccin a la Informtica

 Instituto Universitario Aeronutico
Facultad de Ciencias de la Administracin
Carrera: Ingeniera de Sistemas
16.

Materia: Introduccin a la Informtica