Logo et.boatexistence.com

Milline reegel tuletab p-st p q?

Sisukord:

Milline reegel tuletab p-st p q?
Milline reegel tuletab p-st p q?

Video: Milline reegel tuletab p-st p q?

Video: Milline reegel tuletab p-st p q?
Video: Саймон Синек: Как выдающиеся лидеры вдохновляют действовать 2024, Juuli
Anonim

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.

Soovitan: