9.3 De methode van deductie Bijvoorbeeld de regel van Modus Ponens Modus Ponens In propositielogica, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), ook bekend als modus ponendo ponens (Latijn voor " methode van zetten door plaatsen") of implicatie-eliminatie of bevestiging van het antecedent, is een deductieve argumentvorm en gevolgtrekkingsregel https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Wikipedia
vertelt ons dat als de propositie "P. Q" waar is en de propositie "P" waar is, dan "Q" waar moet zijn. Deze afleidingsregel kan worden uitgedrukt als de volgende tautologische bewering van materiële implicatie: “((P. Q)•P). V.”
Wat is deze afleidingsregel p en q impliceert p?
Latijn voor "methode van ontkennen." Een gevolgtrekkingsregel afgeleid van de combinatie van modus ponens en contrapositief. Als q onwaar is, en als p q impliceert (p q), dan is p ook onwaar. Een fout in de redenering. Gegeven een uitspraak p, als ~p logisch tot een contradictie leidt, dan moet p waar zijn.
Wat zijn de 9 afleidingsregels?
Termen in deze set (9)
- Modus Ponens (M. P.) -Als P dan Q. -P. …
- Modus Tollens (M. T.) -Als P dan Q. …
- Hypothetisch syllogisme (H. S.) -Als P dan Q. …
- Disjunctief syllogisme (D. S.) -P of Q. …
- Conjunctie (conj.) -P. …
- Constructief dilemma (C. D.) -(Als P dan Q) en (Als R dan S) …
- Vereenvoudiging (vereenvoudiging) -P en Q. …
- Absorptie (Abs.) -Als P dan Q.
Hoe lees je PQ?
De implicatie p → q (lees: p impliceert q, of als p dan q) is de uitspraak die stelt dat als p waar is, q ook waar is. We zijn het erover eens dat p → q waar is als p onwaar De uitspraak p wordt de hypothese van de implicatie genoemd en de uitspraak q wordt de conclusie van de implicatie genoemd.
Waarom worden P en Q gebruikt in logica?
De proposities zijn gelijk of logisch equivalent als ze altijd dezelfde waarheidswaarde hebben. Dat wil zeggen, p en q zijn logisch equivalent als p waar is wanneer q waar is, en vice versa, en als p onwaar is wanneer q onwaar is, en vice versa. Als p en q logisch equivalent zijn, schrijven we p=q.
