Estudiante

1) A) Ponendo Ponenns: Que poniendo pone. Cuando se confirma el antecedente (causa lógica), entonces se puede confirmar el consecuente (consecuencia lógica).
Es la reglafundamental de las demostraciones lógicas, es decir, la operación lógica fundamental del método de deducción natural.
b) Tollendo Tolles: Que negando niega, llamado modus tollens ygeneralmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:
Si A entonces B
No B
Por lo tanto, no A
c) Tollendo Ponenns. Sencillamente dice que cuando setiene que elegir entre dos alternativas y se descarta alguna de ellas, toca quedarse con la otra.
d) Doble Negación: La doble negación ocurre cuando al momento de negar unaafirmación, colocamos otra negación.
Negación x negación = afirmación positiva
e) Ley del Silogismo hipotético: Se compone de dos premisas. La primera es una condicional y la segundatiene como antecedente al consecuente de la primera premisa y la conclusión se forma con el antecedente de la segunda premisa.
1ª premisa: P -----> Q
2ª premisa: Q ----> RConclusión: P---> R.
Claramente se percibe que la conclusión es una proposición condicional y que las dos premisas también son condicionales.
6. Ley del Silogismo Disyuntivo: Se componede tres premisas (P), empieza con una disyunción y dos condicionales.
De una premisa menor afirmativa se sigue una conclusión negativa; de una premisa menor negativa se sigue unaconclusión afirmativa.
7. Leyes de Morgan: Son dos reglas de transformación que son ambas reglas de inferencias válidas, permiten la expresión de las conjunciones y disyuncionespuramente en términos de sí , vía negación.
La negación de la conjunción es la disyunción de las negaciones.
La negación de la disyunción es la conjunción de las negaciones.