Razonamiento,que a partir de
un conjunto de proposiciones
llamado premisa, obteniendo a
si un resultado llamado
conclusión
Cuando hay un razonamiento a
partir de las premisas de un
argumento llegando a si a una con
clusión pero se debe tener en
cuenta que el argumento sea
valido para llegar a una
conclusión.
Premisa1: Modus ponendo
ponens Forma de
argumento valido uan
regla de lógica matematica
que se puede resumi,
como si p implica Q y P es
verdad entonces q
también es verdad
Annotations:
Formula:
P----Q _P_______
Q
( MPP)
Premisa 2: negación del
consecuente o ley de
contraposición, si una primera
afirmación implica una segunda
afirmación; y la segunda
afirmación no es verdadera; se
puede inferir que la primera no
puede ser verdadera. Es decir,
si P implica Q; y Q no es
verdadera; entonces P tampoco
es verdadera.
Annotations:
Formula:
P-----Q
___- Q__
-p
(MTT)
Formula:
P----Q
- Q
_______________
- P
( MTT)
Premisa: 3 silogismo
hipotético puro silogismo
hipotético es una regla de
inferencia válida, regla de
cadena, o el principio de
transitividad de la
implicación
Annotations:
Formula:
P-----Q
p-----R
__________
P----R
(SHP)
Premisa 4: Silogismo
disyuntivo. un proceso de
disyunción exclusiva, en
base a dos premisas que se
excluyen y que no pueden
ser ciertas al mismo
tiempo, e incluso tampoco
pueden ser falsas
simultáneamente, por lo
que el Silogismo Disyuntivo
marca dos premisas donde
obligatoriamente una debe
ser falsa y la otra
verdadera.
Annotations:
Formula:
P V Q P V Q
- P - Q
__________ ______
Q P
( SD)