TAMBIÉN LLAMADA LOGICA SENTENCIAL ,
LOGICA DE ENUNCIADOS O LOGICA DE ORDEN
CERO.
PODEMOS DEFINIRLA COMO DISCIPLINA,
RAMA DE LA LOGICA MATEMATICA
ENCARGADA DE LAS RELACIONES
LOGICAS ENTRE PROPOSICIONES
EN LA LOGICA PROPOSICIONAL LA
UNIDAD FUNDAMENTAL DE ANALISIS
ES TODA LA PROPOSICION QUE
PUEDE SER VERDADERA O FALSA
SIENDO LO MAS IMPORTANTE, EL VALOR
VERIDICO DE LA PROPOSICION DADA,
SEA ESTA VERDADERA O FALSA
EN ESTA LOGICA, LAS PROPOSICIONES SE
SIMBOLIZAN INDIVIDUALMENTE CON UNA LETRA
ES ASI COMO SURGE LA RELACION
LOGICA ENTRE PROPOSICIONES.
RELACIONES QUE PUEDEN DARSE
ENTRE ENTRE LOS VALORES DE
VERDAD O LOS VALORES DE VERDAD DE
PROPOSICIONES COMPUESTAS Y
LAS UNIDADES QUE LA
COMPONEN.
CLASIFICACION DE
PROPOSICIONES
SIMPLE O
ATOMICA
ESTAN
ESTRUCTURADAS
POR UNA UNICA
ORACION, Y PARA SU
REPRESENTACION, A
LA PREPOSICION SE
LE ASIGNA UNA
VARIABLE
PREPOSICIONAL
EN LOGICA LAS LETRAS p, q,
r... SON USADAS PARA
REPRESENTAR VARIABLES
PROPOSICIONALES, ESTO ES,
VARIABLES QUE SE PUEDEN
REEMPLAZAR POR
PROPOSICIONES SIMPLES
COMPUESTA
O
MOLECULAR
ESTAN ESTRUCTURADAS
POR DOS O MAS
PREPOSICIONES SIMPLES,
UNIDAS POR
OPERADORES LOGICO, Y A
CADA PREPOSICION
SIMPLE QUE LA FORMA SE
LE PUEDE ASIGNAR UNA
VARIABLE
PROPOSICIONAL
OPERADORES LOGICOS:
SON LOS
SIMBOLOS QUE
PERMITEN
DECIDIR QUE
VALOR DE VERDAD
TIENE UNA
PREPOSICION
PARA LA DEFINICION Y
ANALISIS DE LOS
OPERADORES LOGICOS SE
EMPLEAN LAS TABLAS DE
VERDAD
ESTOS OPERADORES O
CONECTORES PUEDEN
SER:
NEGACION
DOBLE
NEGACION
CONJUNCION
DISYUNCION
INCLUSIVA
DISYUNCION
EXCLUSIVA
CONDICIONAL
O AMPLIACION
PROPOSICION
TERMINO ASOCIADO A ENUNCIADO Y
PREMISA, CONCEPTOS COMUNES, QUE
COMPARTEN LA CRACTERISTICA DE PODER
SER UNA SENTENCIA VERDADERA O FALSA.
NO SON PROPOSICIONES
EXPRESIONES: EXCLAMATIVAS,
INTERROGATIVAS, DESIDERATIVAS
E IMPERATIVAS