9.3 Deduktsioonimeetod Näiteks Modus Ponensi reegel Modus Ponens Propositsiooniloogikas modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), tuntud ka kui modus ponendo ponens (ladina keeles "" asetamise meetod") või implikatsiooni elimineerimine või eelkäija kinnitamine, on deduktiivne argumendivorm ja järelduse reegel https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens – Vikipeedia
ütleb meile, et kui väide "P. Q" on tõene ja väide "P" on tõene, siis "Q" peab olema tõene. Seda järeldusreeglit võib väljendada järgmise materiaalse implikatsiooni tautoloogilise väitena: „((P. Q)•P). Q.”
Mis on see järeldusreegel p ja q tähendab p?
Ladina keeles "eitamise meetod". Järeldusreegel, mis on tehtud modus ponensi ja kontrapositiivsuse kombinatsioonist. Kui q on väär ja kui p viitab q-le (p q), siis on ka p väär. Arutlusviga. Kui on antud väide p, kui ~p viib loogiliselt vastuoluni, siis p peab olema tõene.
Millised on 9 järeldusreeglit?
Selle komplekti tingimused (9)
- Modus Ponens (M. P.) -Kui P, siis Q. -P. …
- Modus Tollens (M. T.) -Kui P, siis Q. …
- Hüpoteetiline süllogism (H. S.) - Kui P, siis Q. …
- Disjunktiivne süllogism (D. S.) -P või Q. …
- Sidesõna (Conj.) -P. …
- Konstruktiivne dilemma (C. D.) -(Kui P, siis Q) ja (Kui R, siis S) …
- Lihtsustamine (lihtsustatud) -P ja Q. …
- Absorptsioon (abs.) -Kui P, siis Q.
Kuidas sa PQ-d loed?
Implikatsioon p → q (loe: p tähendab q-d või kui p, siis q) on väide, mis kinnitab, et kui p on tõene, siis on ka q tõene. Oleme nõus, et p → q on tõene, kui p on vale Väidet p nimetatakse implikatsiooni hüpoteesiks ja väidet q nimetatakse implikatsiooni järelduseks.
Miks kasutatakse loogikas P ja Q?
Propositsioonid on võrdsed või loogiliselt samaväärsed, kui neil on alati sama tõeväärtus. See tähendab, et p ja q on loogiliselt ekvivalendid, kui p on tõene alati, kui q on tõene ja vastupidi, ja kui p on väär, kui q on väär, ja vastupidi. Kui p ja q on loogiliselt samaväärsed, kirjutame p=q.
