OPERACIONES LGICAS
Def 4: Si p y q son proposiciones, entonces se define la conjuncin de p con q como
la proposicin p q, la cual es verdadera cuando ambas proposiciones son
verdaderas y es falsa en los dems casos.
Obs: La proposicin p q se lee como p y q.
Def 5: Si p y q son proposiciones, entonces se define la disyuncin de p con q como
la proposicin p q, la cual es falsa cuando ambas proposiciones son falsas y es
verdadera en los dems casos.
Obs: La proposicin p q se lee como p o q.
Def 6: Si p y q son proposiciones, entonces se define el condicional de p con q como
la proposicin p q, la cual es falsa cuando p es verdadera y q es falsa, y es
verdadera en los dems casos.
Obs 1: La proposicin p q se lee como si p entonces q, o tambin p implica q
Obs 2: En la proposicin p q, a p se le denomina antecedente y a q consecuente,
o tambin a p se le denomina hiptesis y a q tesis.
Def 7: Si p y q son proposiciones, entonces se define el bicondicional de p con q
como la proposicin p q, la cual es verdadera cuando p y q tienen el mismo valor
de verdad y es falsa en los dems casos.
Obs: La proposicin p q se lee como p si y solo si q.
Las tablas de verdad sirven para obtener los resultados de los valores de verdad de
una proposicin, considerando todas las posibilidades de los valores de verdad de la
o las proposiciones simples que la componen.
Def 8: Diremos que una proposicin es una:
a) Tautologa cuando los resultados de su tabla de verdad sean todos verdaderos.
b) Contradiccin cuando los resultados de su tabla de verdad sean todos falsos.
c) Contingencia cuando no sea ni tautologa ni contradiccin.
Def 9: Diremos que dos proposiciones son lgicamente equivalentes cuando los
resultados de sus tablas de verdad sean iguales.
Obs: Si P y Q son dos proposiciones lgicamente equivalentes entonces anotaremos
P Q.
CUANTIFICADORES
Def: Llamaremos funcin proposicional a una expresin que contiene una o mas
variables, las cuales al ser reemplazadas por elementos de un determinado conjunto,
se transforman en una proposicin.
Obs 1: Notar que una funcin proposicional no es una proposicin
Obs 2: Al conjunto mencionado en la definicin anterior se le denomina conjunto
universo.
Obs. 3: Las funciones proposicionales, generalmente, se anotan como p(x), q(x,y)
UVERSACUANTIFICADOR UNIVERSAL