Resultats de la cerca
Es mostren 2 resultats
modus tollens
Filosofia
Esquema metalògic que designa un tipus de raonament formalment vàlid, és a dir, una regla d’inferència, en què les premisses són un enunciat condicional, i la negació del seu conseqüent, la conclusió, és la negació de l’antecedent.
Segons la representació habitual de la lògica proposicional es pot expressar per *** Des del punt de vista de la lògica sentencial, però, aquesta expressió descriu simplement un enunciat tautològic
modus ponens
Filosofia
Esquema metalògic que designa un tipus de raonament formalment vàlid, és a dir, una regla d’inferència, en què les premisses són un enunciat condicional, i l’afirmació del seu antecedent, la conclusió, és l’afirmació del conseqüent.
Segons la representació habitual de la lògica proposicional es pot expressar per ***Des del punt de vista de la lògica sentencial, però, aquesta expressió descriu simplement un enunciat tautològic