LGICA, TABLAS DE

VERDAD

Lgica: Es la rama del conocimiento que

trata de los mtodos de razonamiento
mediante reglas y tcnicas, con el fin de
determinar si un argumento dado es
vlido.
Proposicin: Es un enunciado u oracin
declarativa de la cual se puede afirmar
que es falsa o verdadera, pero no ambas
cosas a la vez.

LGICA, TABLAS DE
VERDAD
Valor de Verdad: Se le llama as a la
veracidad o falsedad de una proposicin.
Ej. 2+3=5 Valor de verdad (V).
Ej. 1+1=5 Valor de verdad (F).
Las proposiciones para su estudio se
clasifican en:
a)Proposicin simple.
b)Proposicin compuesta.
c)Proposicin abierta.

CONECTIVOS LGICOS

CONECTIVOS LGICOS

CONJUNCIN
3 > 2 y 4 > 3 (V)
3 > 2 y 4 < 3 (F)
3 < 2 y 4 > 3 (F)
3 < 2 y 4 < 3 (F)
Conclusin: Es resultado es verdadero
cuando ambas proposiciones sean
verdaderas.

DISYUNCIN INCLUSIVA
3 < 5 o 3 > 5 (V)
3 > 1 o 3 > 5 (V)
3 < 5 o 3 < 4 (V)
3 < 1 o 3 < 5 (F)
Conclusin: El resultado es falso, cuando
ambas proposiciones sean falsas.

DISYUNCIN EXCLUSIVA
O 3 < 5 o 3 = 5 (V)
O 3 > 5 o 3 = 3 (F)
O 3 = 4 o 4 < 4 (F)
O 3 > 5 o 3 < 5 (V)
Conclusin: El resultado ser verdadero
cuando ambas proposiciones tengan
valores de verdad contrarios.

CONDICIONAL
Si 7>5 entonces 49>25 (V)
Si 7>5 entonces 49<25 (F)
Si 7<5 entonces 49>25 (V)
Si 7<5 entonces 49<25 (V)
Conclusin: El resultado ser falso cuando
el antecedente sea verdadero y el
consecuente sea falso.

BICONDICIONAL
Es domingo si y slo si maana es lunes.
(V)
Es domingo si y slo si maana es martes.
(F)
No es domingo si y slo si maana es
lunes. (F)
No es domingo si y slo si maana no es
lunes.
(V)
Conclusin: El resultado ser verdadero

SNTESIS