ESTUDIA LOS
RAZONAMIENTOS
CONSIDERANDO CADA
PROPOCISION COMO
UNA UNIDAD SIMPLE
LAS PROPOSICIONES SE PUEDEN DEFINIR DE DOS MANERAS
SON
EXPRESIONES
QUE
CONTIENEN
AFIRACIONES
ONEACIONES
SON
EXPRESIONES
QUE SE PUEDEN
CALIFICAR COMO
VERDADERAS O
FALSAS
LOS
CONECTIVOS
SON LOS
ENLACES ENTRE
DOS
ENUNCIADOS Y
SE MUESTRAN
DE LA
SIGUIENTE
MANERA
LOS SIMBOLOS PARA ESTOS
SON LOS SIGUIENTES
JUNTO A ESTOS
SIMBOLOS SE USAN
SIGNOS DE
AGRUPAMIENTOS
QUE SON LOS
PARENTECIS,
CORCHETES Y LLAVES
((), [],{}).
EL PARENTESIS SE USA PARA
SEPARAR UN ENUNCIADO DE
OTRO.EL CORCHETE SE UTILIZA PARA
SEPARAR MIEMBROS DE UNA
EXPRESION EN LA CUAL YA EXISTEN
PARENTESIS Y LAS LLAVES SE
UTILIZAN PARA SEPARAR MIEMBROS
DE UNA EXPRESION EN LA CUAL YA
HAY PARENTESIS Y CORCHETES.
ALGUNOS EJEMPLOS PUEDEN SER:
TABLAS DE LA VERDAD
ES UN INSTRUMENTO PARA
DEMOSTAR LA VALIDEZ DE LOS
ARGUMENTOS QUE DICHA
LOGICA MANEJA
EL VALOR DE LA
VERDAD ES LA
PROPIEDAD QUE TIENE
CUALQUIER
ENUNCIADO DE SER
VERDADERO O FALSO,
PERO NO AMBAS
TENEMOS SEIS TIPOS DE TABLAS
DE VERDAD QUE SON:
CONJUNCION: SU SIMBOLO ES &. Y SOLO ES
VERDADERA CUANDO SUS DOS ENUNCIADOS
SON VERDADEROS, DE LO CONTRARIO SON
FALSAS
CONDICIONAL: CONSTA DE
ANTECEDENTE Y CONSECUENTE Y
SOLO ES VERDADERA CUANDO:
DISYUNCION EXCLUSIVA: SU
SIMBOLO ES (V) Y ES VERDADERA
CUANDO ES VARIATIVA, ES DECIR
QUE UNO ES VERDADERO Y UNO
FALSO
BICONDICIIONAL: ES VERDADERA
CUANDO ES FALSA O VERDADERA
SIMULTANEAMENTE EL ANTECEDENTE
CON EL CONSECUENTE
DISYUCION INCLUSIVA: ES VERDADERA
EN TODOS LOS CASOS EXCEPTO
CUANDO TODAS SON FALSAS
NEGACION: ES VERDADERA
CUANDO EL ENUNCIADO QUE
AFECTA ES FALSO O VICEVERSA.