Reglas de inferencia
Anuncio
1 2 3 4 MT tM tT TM tM tT MT Mt tT TM Mt tT Barbara, celarent, darii, ferio ¿en toda su extensión? suj Cesare, camestres, festino baroco Darapti, felapton, disamis, datisi, bocardo, ferison A E I O Universal Universal Particular Particular Afirmativa Negativa Afirmativa Negativa SI SI NO NO Bamalip, calemes, dimatis, fesapo, fresiso Leyes del silogismo 1.- Los términos no han de ser más extensos en la conclusión que en las premisas. 2.- El término medio se ha de tomar, al menos una vez, en toda su extensión. 3.- Si ambas premisas niegan, no se sigue nada. 4.- Si ambas premisas afirman, no cabe una conclusión negativa. 5.- De dos premisas particulares no se concluye nada. 6.- La conclusión siempre sigue «la peor parte». Doble negació DN Introducció de la Conjunció IC Eliminació de la Conjunció EC Introducció de la disjunció ID Sil·logisme disjuntiu SD Regla del bicondicional RB Modus ponens MP Modus tollens MT Regla de la transitivitat RT Regla del dilema RD Regles de Morgan DM (Simplificació) (Adició) s = conversión simple p = conversión accidental (simple + cambio de cantidad) m = intercambiar las premisas. c = conversión imposible (al menos para ti, ahora). p ⎤⎤p p q q∧p p∧q q ⎤⎤p p p q p∧q p∧q p p p∨q p∨q ⎤p q p↔q p→q p∨q ⎤q p p↔q q→p p→q p q p→q ⎤q ⎤p p→q q→r p→r p∨q p→r q→s r∨s ⎤ (p ∨ q) ⎤p∧⎤q ⎤ (p ∧ q) ⎤p∨⎤q pred NO SI NO SI
