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 cuando el antecedente y el consecuente tengan el mismo valor de verdad.

SNTESIS