9.3 Die Metode van Afleiding Byvoorbeeld, die reël van Modus Ponens Modus Ponens In proposisionele logika, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), ook bekend as modus ponendo ponens (Latyns vir " metode van plaas deur plaas") of implikasie eliminasie of bevestiging van die antesedent, is 'n deduktiewe argumentvorm en reël van afleiding https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Wikipedia
sê vir ons dat as die proposisie “P. Q” waar is en die proposisie “P” waar is, dan moet “Q” waar wees. Hierdie reël van afleiding kan uitgedruk word as die volgende tautologiese bewering van materiële implikasie: “((P. Q)•P). Q.”
Wat is hierdie reël van afleiding p en q impliseer p?
Latyn vir "metode van ontkenning." 'n Reël van afleiding wat uit die kombinasie van modus ponens en die kontrapositief gemaak word. As q onwaar is, en as p q (p q) impliseer, dan is p ook onwaar. 'n Fout in redenasie. Gegewe 'n stelling p, as ~p logies tot 'n teenstrydigheid lei, dan moet p waar wees.
Wat is die 9 reëls van afleiding?
Bepalings in hierdie stel (9)
- Modus Ponens (M. P.) -As P dan Q. -P. …
- Modus Tollens (M. T.) -As P dan V. …
- Hipotetiese Syllogism (H. S.) -As P dan V. …
- Disjunktive Syllogism (D. S.) -P of Q. …
- Konjunksie (Verv.) -Bl. …
- Konstruktiewe Dilemma (C. D.) -(As P dan Q) en (As R dan S) …
- Vereenvoudiging (Simpl.) -P en Q. …
- Absorpsie (Abs.) -As P dan V.
Hoe lees jy PQ?
Die implikasie p → q (lees: p impliseer q, of as p dan q) is die stelling wat beweer dat as p waar is, q ook waar is. Ons stem saam dat p → q waar is wanneer p onwaar is Die stelling p word die hipotese van die implikasie genoem, en die stelling q word die gevolgtrekking van die implikasie genoem.
Waarom word P en Q in logika gebruik?
Die stellings is gelyk of logies ekwivalent as hulle altyd dieselfde waarheidswaarde het. Dit wil sê, p en q is logies ekwivalent as p waar is wanneer q waar is, en omgekeerd, en as p onwaar is wanneer q onwaar is, en omgekeerd. As p en q logies ekwivalent is, skryf ons p=q.
