LOGICA SIMBOLICA

LOGICA SIMBOLICA
Mrs. Dioselina

Leyes de Inferencia
11Carlos
C Alfaro

Dilcia Rivera
Lauren Alvarado

Introducción


En la forma en la que obtenemos conclusiones en base a datos
ydeclaraciones establecidas es llamada inferencia.
Especialmente se considera como una lógica matemática,
porque una regla de inferencia es un esquema para construir
inferencias válidas. Estos esquemasestablecen relaciones
sintácticas entre un conjunto de preposiciones que establecen
una conclusión. La validez de los argumentos consiste en que
las premisas y el resultado se encuentranlógicamente
estructurados, sin importar si el argumento es verdadero o falso,
puesto que lo importante será destacar la coherencia lógica o
formal y la aplicación correcta de las reglas y leyes que seránexplicadas con un ejemplo y su definición a continuación.

Objetivos


 Mostrar la forma en que trabajan
estructuradamente las leyes y reglas de
inferencia.
 Explicar cada una de ellas con unejemplo en
forma verbal con su termino de enlace y
conclusión.
 Aplicar cada una de estas en argumentos
presentados y entender completamente
como funcionan.

(MPP)

(MTT
)

(MTP
)

Lógica:Silogismo Hipotético(SH)

Conjunció
n

Conjunción
:

(CONJ)

:
(SIMPL)

Lógica: Adición (AD)
• Esta ley nos permite adicionar o agregar
cualquier otro enunciado, siempre y cuando se
conectemediante una disyunción. Esto es así
porque puede garantizarse la verdad del
enunciado inferido.
Alfaro come
peras
Alfaro come peras o
manzanas

Conclusión


Gracias a la presentaciónanteriormente expuesta la
meta de entender cada concepto, la forma en que
trabajan y como ejemplificar cada una, debe estar ya
completada. Estas reglas nos sirven para mostrar ideas
en un lenguaje lógicocompuesto por reglas y leyes
muy diferentes a lo habitual. Además nos ayuda a
distinguir el razonamiento correcto del incorrecto con
una serie de pruebas para obtener resultados
adecuados.