Académique Documents
Professionnel Documents
Culture Documents
Smbolos Negaciones :
Para simplificar el manejo de la lgica, se usan smbolos.
Las proposiciones se representan con letras. ~ ~ p p
Los conectivos se representan con smbolos.
Conectivo Smbolo Tipo de
p q ~ p q
proposicin p q ~ p q
no ~ Negacin Conmutativas :
y Conjuncin
pq q p
o Disyuncin
O excluyente Disyuncin pq q p
excluyente pq q p
Sientonces Implicacin pqq p
implica condicional Leyes de De Morgan
Si y solo si Implicacin
~ p q ~ p ~ q
bicondicional
~ p q ~ p ~ q
Tablas de Verdad Implicativas :
Conjunciones y disyuncin p q ~ p q
Una tabla de verdad muestra todas las combinaciones ~ p q p ~ q
posibles de valores de verdad.
p q ~ q ~ p
~, la negacin de , tiene valor de verdad opuesto al de p p p q q p
.
, la conjuncin , es verdadera slo cuando ambas ,y, p p ~ p q ~ q p
son verdaderas.
Distributivas :
, la disyuncin, es falsa slo cuando ambas, y, son
falsas. p q r p q p r
, la disyuncin excluyente, es falsa cuando ambas, y,
tienen igual estado de verdad y verdadera cuando ambas, p q r p q p r
y, tienen distinto estado de verdad Absorcin :
, la condicional, es falsa slo cuando (hiptesis o
antecedente) es verdadera y (Conclusin o consecuente) es p p p
falsa. p p p
Resumen sobre lgica Simblica, Matemtica 1 (FIA) UCA
p q ~p ~q p q q p ~ p ~ q ~ q ~ p
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V
Observar:
p q ~ q ~ p
q p ~ p ~ q
Tautologas, contradicciones y
contingencias
Ejemplo: p q ~ p q
El bicondicional de dos proposiciones equivalentes
Ejemplo: p q ~ p q
La disyuncin excluyente de dos proposiciones equivalentes