(Modus ponens latin)
termenul de logică medievală, care denotă regula deducției și legea logică corespunzătoare.
. O n regulă M regula numită în mod obișnuit de separare (uneori silogism ipotetic), aceasta permite aprobarea declarației condițională și declarația sa de fondator (antecedent), la o afirmație a corolarul (în consecință) a acestei declarații:
Aici A și B sunt câteva afirmații, "dacă A, atunci B" și "A" sunt premisele, "B" este concluzia; Linia orizontală se află în locul cuvântului "în consecință". O altă intrare:
Dacă A, apoi V. A. Prin urmare, B.
Datorită acestei reguli din premisa "dacă A, apoi B", folosind parcela "A", avem o concluzie separată "B". Ex.:
Dacă o persoană are febră, este bolnav.
La persoană temperatura ridicată.
Persoana este bolnavă. Această regulă este folosită în mod constant în raționamentul nostru. Pentru prima dată a fost formulată, în măsura în care poate fi judecată, de elevul lui Aristotel, Theophrastus, în secolul al III-lea. BC. e.
Legea logică corespunzătoare regulii de separare, folosind logica simbolică, este formulată după cum urmează (p, q sunt câteva afirmații; - conjuncție. „Și“; -> implicare. "dacă, atunci"):
dacă este adevărat că dacă p, atunci q și p, atunci q este adevărat. De exemplu. "Dacă ploaia este umedă sub ploaie, pământul este ud."
Argumentând de regula lui M.P. vine de la stabilirea bazei unei afirmații condiționale adevărate la afirmarea efectului său. Este logic mișcarea corectă de gândire este uneori confundat cu un similar, dar în mod logic greșit mișcarea sa de corolar la adevărata declarație condiționată a declarației sale fondatoare. De exemplu. concluzia corectă este următoarea:
Dacă bismutul este un metal, acesta conduce un curent electric.
Bismutul este un metal. _______________
Bismutul conduce un curent electric.
Dar o concluzie aparent similară
Dacă bismutul este un metal, acesta conduce un curent electric.
Bismutul conduce un curent electric.
logic incorect. Argumentând în conformitate cu ultima schemă, se poate veni dintr-un loc adevărat până la o concluzie falsă. Ex.:
Dacă o persoană are febră, este bolnav.
Are febră.
Multe boli, după cum se știe, au loc fără o creștere a temperaturii; de la prezența bolii nu se poate concluziona despre creșterea temperaturii. Adevarul premiselor nu garanteaza adevarul concluziei.
Împotriva confuziei regulilor capitalismului cu schema incorectă indicată, consiliul avertizează: de la confirmarea motivelor până la confirmarea investigației, este permisă raționamentul, de la confirmarea investigației până la confirmarea motivelor - nr.
Transcriere: [modus ponens]
→ modus Tolendo ponens (modul latin tollendo ponens) termenul de logică medievală, care denotă.
← modus ponendo tolens (latin modus ponendo tollens) este termenul de logică medievală, care denotă următoarele scheme.
Articole similare
Trimiteți-le prietenilor: