Trabajo Prctico Lgica Proposicional

Qu es una proposicin? Ejemplo

Una proposicin es entendida generalmente en el contexto de la lgica
como una expresin lingstica cuya funcin es informativa.
Ejemplo:
Una proposicin es una oracin que afirma algo. Debemos entender "afirma"
en el sentido de que dice algo de algo, sea que diga lo que es "aqu hay una
pelota de rugby" o que diga lo que no hay "aqu no hay una bicicleta". En
ambos casos se afirma algo sobre la realidad, sobre el mundo.
A qu llamamos conjuncin o producto lgico? Ejemplo
Uno de los operadores lgicos primarios es la conjuncin lgica, que es la
unin de dos o ms enunciados en donde todos ellos deben de ser
verdaderos para que el enunciado resultante de la conjuncin sea
verdadero. Para representar la conjuncin se utiliza la letra Y o el smbolo ^.
Ejemplo:
Un automvil enciende si tiene batera y tiene gasolina, es decir, ambos
enunciados deben de ser verdaderos para que la conjuncin sea verdadera.
A qu llamamos disyuncin? Ejemplo
La disyuncin es verdadera si una de las dos proposiciones o ambas, son
verdaderas. La disyuncin es el equivalente al uso de la letra O en el idioma
natural y su smbolo es ^.
Ejemplo:
Sea p = Voy al cine, q = Voy a cenar, c = Gastar algo de dinero. p^q => c
Si voy al cine o voy a cenar entonces gastar algo de dinero; la conclusin
de gastar algo de dinero es verdadera si la persona va al cine aunque no
vaya a cenar, pero tambin es verdadera si solamente va a cenar y no va al
cine.
A qu llamamos negacin? Ejemplo
La negacin es un operador lgico que cambia el valor de verdad de la
proposicin que le precede, si la proposicin es verdadera, despus de
aplicarle el operador lgico de negacin esta proposicin se volver falsa y
si la proposicin es falsa la negacin la convierte en verdadera. El smbolo
de este operador es o ~ y se lee NO
Ejemplo:
p = Est lloviendo. ~P = NO est lloviendo. Si es verdad que est lloviendo,
entonces la afirmacin No est lloviendo es falsa.

A qu llamamos implicacin o deduccin? Ejemplo

La implicacin es una estructura en donde una proposicin es consecuencia

lgica de otra. La forma de representarla es P => Q, y se lee P implica
lgicamente a Q o Q es una implicacin lgica de P. Otra forma de leer
esta estructura es Si P entonces Q. El significado es que la proposicin de
la izquierda es verdadera, entonces la proposicin de la derecha es
verdadera.
Ejemplo:
Mediante las propiedades de la implicacin lgica es posible demostrar un
teorema de la teoria de conjuntos, que dice que el conjunto vaco es un
subconjunto de cualquier conjunto. Para demostrar el teorema anterior
tenemos las siguientes proposiciones: a: x es un elemento del conjunto
vacio b: x es un elemento del conjunto X y queremos demostrar que a => b
es verdadero para todo elemento x. Sabemos que el conjunto vaco no tiene
elementos, por lo que a es falsa, y x puede o no ser un elemento del
conjunto X, es decir b puede o no ser una proposicin verdadera. En
cualquier caso, tomando los renglones 3 y 4 de la tabla de verdad
concluimos que la implicacin es verdadera, por lo que el conjunto vaco es
un subconjunto de cualqueir conjunto.

Cundo decimos que p es equivalente a q? Ejemplo

En lgica, las declaraciones p y q son lgicamente equivalentes si tienen el
mismo contenido lgico. Ess decir que dos afirmaciones son equivalentes si
tienen el mismo valor de verdad.
La equivalencia lgica de p y q algunas veces se expresa como
, Epq,
o
Cundo hablamos de tautologa?
Una proposicin es una tautologa si es verdadera para todas las
asignaciones de valores de verdad para sus proposiciones componentes.
Dicho de otra forma, su valor V no depende de los valores de verdad de las
proposiciones que la forman, sino de la forma en que estn establecidas las
relaciones
Cules son las Leyes de Morgan?
La primera ley de morgan nos convierte un producto negado de x variables
en la suma de las negaciones de dichas variables.
Ejemplo :
A.B.C=A+B+C
La segunda ley de morgan nos transforma una suma de x variables en un
producto con cada una de esas variables negadas y a su vez toda la funcion
negada .
A.B.C=A+B+C
Cundo estamos frente a una equivalencia lgica?
Dos frmulas lgicas son equivalentes si tienen los mismos valores de
verdad paratodos los posibles valores de verdad de sus componentes
atmicos.

Diremos que dos proposiciones P y Q son lgicamente equivalentes si es

unatautologa, es decir, si las tablas de verdad de P y Q son iguales.