Resumen sobre lgica Simblica, Matemtica 1 (FIA) UCA

Proposiciones , la bicondicional, es verdadera slo cuando y

Una proposicin se define como una aseveracin que tienen el mismo valor de verdad.
puede ser verdadera o falsa, pero no ambas.
Una proposicin compuesta puede formarse por la Tabla Resumen:
combinacin de dos o ms proposiciones.
~ ,
Proposiciones compuestas V V F V V F V V
Las proposiciones que forman parte de una proposicin V F F F V V F F
compuesta reciben el nombre de componentes de la F V V F V V V F
proposicin. F F V F F F V V
Para crear proposiciones compuestas pueden usarse varios
conectivos lgicos, o simplemente conectivos.
Proposiciones Equivalentes
Negaciones Dos proposiciones son equivalentes si tienen el mismo valor
de verdad en todas las situaciones posibles.
La negacin de una proposicin verdadera es falsa.
Las tablas de verdad son tiles para esto.
La negacin de una proposicin falsa es verdadera.
El smbolo que denota equivalencia es
Una manera de detectar negaciones incorrectas es verificar
el valor de verdad.
Algunas de las ms usadas son:

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

Variantes del condicional

, se distingue: : hiptesis o antecedente

: Conclusin o consecuente.

Otro nombre de la hiptesis es Condicin Suficiente

Otro nombre de la conclusin es Condicin necesaria

se lee: p implica q o bien: Si p entonces q

Se definen sus variantes:

es la implicacin condicional Directa
La Recproca de es:
La Contradirecta de es: ~ ~
La inversa de es: ~ ~

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

Una proposicin compuesta se considera tautologa

cuando en su tabla de verdad, sin importar los valores de
verdad de las proposiciones simples que la conforman, es
decir que siempre en todas las situaciones posibles el estado
de verdad resultante es verdadero.

Ejemplo: p q ~ p q
El bicondicional de dos proposiciones equivalentes

Una proposicin compuesta se considera contradiccin

cuando en su tabla de verdad, sin importar los valores de
verdad de las proposiciones simples que la conforman, es
decir que siempre en todas las situaciones posibles el estado
de verdad resultante es falso.

Ejemplo: p q ~ p q
La disyuncin excluyente de dos proposiciones equivalentes

Una proposicin compuesta se considera contingencia

cuando esta no es tautologa ni contingencia y por tanto su
tabla de verdad genera tanto valores verdaderos como
falsos.