PREPOSICIONES ASOCIADAS

En la lgica se pueden estudiar diversos y complejos temas, pero uno de los

principales focos de estudio y anlisis es la capacidad de determinar si un
razonamiento dado es correcto o no.
PROPOSICIONES
Proposicin:
Una proposicin es una oracin declarativa que es verdadera o falsa, pero que no
puede tomar ambos valores a la vez, las proposiciones se notan a travs de letras
ya sea en minscula o mayscula, generalmente se utilizan q, p, r, s.
VALOR DE VERDAD
Definicin: El valor de verdad de una proposicin dada, o es verdadera si esta es
verdadera o es falsa o en caso de que esta sea falsa, para notar que una
proposicin verdadera se utiliza una T y cuando es falsa se nota con una F, sin
embargo en algn casos e comn utilizar V y F respectivamente para notar
verdadero y falso o incluso 1 o 0.
Proposicin Compuesta:
Una proposicin compuesta surge mediante la combinacin de una o ms
preposiciones sencillas, a travs de operadores lgicos conectores.
Tabla de verdad:
Es la representacin sistemtica de los valores de verdad de una proposicin
compuesta de acuerdo a todas las combinaciones posibles de cada una de las
proposiciones que la componen.

Operadores o conectivos lgicos:
1) Negacin (not)
2) Conjuncin (and)
3) Disyuncin (inclusiva) (or)
4) Disyuncin exclusiva (xor)
5) Implicacin (material implication)
6) Doble implicacin o bi condicional (eqv)
Negacin:
Dada una proposicin p la proposicin no se cumple p, es otra proposicin que
se denomina negacin de p se denota con ~p, suponiendo que p sea T la
negacin de ~p es F y si p es F la negacin ~p es V.
Disyuncin (o):
Sean p y q proposiciones la proposicin p o q es la proposicin que es falsa tanto
cuando p como q son falsas y es verdadera en los dems casos, la tabla de la
verdad de esta es:
P Q P o Q
F F F
F V V
V F V
V V V

Conjuncin (y):
Sean p y q proposiciones la proposicin p y q es la proposicin que es verdadera
tanto cuando p como q son verdaderas y es falsa en los dems casos, la tabla de
la verdad de esta es:
P Q P o Q
F F F
F V F
V F F
V V V

Disyuncin exclusiva:
Sean p y q proposiciones, la proposicin o bien p o bien q, es aquella que es
verdadera cuando exactamente solo una de las proposiciones es verdadera y es
falsa en los dems casos:
P Q P o Q
F F F
F V V
V F V
V V F

Implicacin:
Sean p y q proposiciones. La implicacin si p entonces q es la proposicin que
es falsa nicamente cuando p es verdadera y q es falsa, y es verdadera en los
dems casos.
P Q P o Q
F F V
F V V
V F F
V V V