Académique Documents
Professionnel Documents
Culture Documents
Este trabajo debe realizarse con la ayuda de la Unidad 2 de la Gua de Estudio e Internet.
contrarrecproca.
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.
10.
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.
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.