S-a găsit 1 definiție:
MODUS PONENS
Lat. modus ponens)
- 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 (silogism uneori 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: Dacă A, atunci B; A. / B. Aici, A și B - unii spunând, "dacă A, atunci B" și "A" - trimiterea, "Mic" - a concluzionat; Linia orizontală se află în locul cuvântului "în consecință". O altă intrare:
Dacă A, apoi V. A. Prin urmare, B.
Datorită acestei reguli, prin trimiterea „dacă A, atunci B“ folosind pachetul „A“, se pare să se separe încheierea de „B“. De exemplu.
Dacă o persoană are febră, este bolnav.
La persoană temperatura ridicată.
Această regulă este folosită în mod constant în raționamentul nostru. Acesta a fost formulată pentru prima dată, după cum se poate aprecia, un elev al lui Aristotel, Teofrast chiar și în III. 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"; -> implicație, "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. Ea vine de la baza declarațiilor adevărate declarații condiționate de aprobarea consecințelor sale. 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ă. De exemplu.
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.
V. M. malaxo reguli cu placa de circuit neregulat spus avertizează: de la baza pentru a confirma ancheta de validare este permis să argumenteze, cu privire la confirmarea anchetei pentru a valida baza - nr.
↑ Definiție excelentă