Logo fi.boatexistence.com

Mikä sääntö päättelee p q:n p:stä?

Sisällysluettelo:

Mikä sääntö päättelee p q:n p:stä?
Mikä sääntö päättelee p q:n p:stä?

Video: Mikä sääntö päättelee p q:n p:stä?

Video: Mikä sääntö päättelee p q:n p:stä?
Video: CS50 2015 - Week 6 2024, Saattaa
Anonim

9.3 Päätösmenetelmä Esimerkiksi Modus Ponensin sääntö Modus Ponens Propositiivilogiikassa modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), joka tunnetaan myös nimellä modus ponendo ponens (latinaksi "" menetelmä asettamalla") tai implikaatioeliminaatio tai edeltäjän vahvistaminen, on deduktiivinen argumenttimuoto ja päättelysääntö https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - Wikipedia

kertoo meille, että jos lause "P. Q" on tosi ja lause "P" on tosi, niin "Q":n on oltava tosi. Tämä päättelysääntö voidaan ilmaista seuraavana tautologisena aineellisen implikation väitteenä: "((P. Q)•P). Q.”

Mikä tämä päättelysääntö p ja q tarkoittaa p?

latinaksi tarkoittaa "kiistämisen menetelmää". Päätelmäsääntö, joka on vedetty modus ponensin ja kontrapositiivisen yhdistelmästä. Jos q on epätosi ja jos p merkitsee q:ta (p q), niin p on myös epätosi. Päättelyvirhe. Kun lause p on annettu, jos ~p johtaa loogisesti ristiriitaan, niin p:n on oltava tosi.

Mitä ovat 9 päättelysääntöä?

Tämän sarjan ehdot (9)

  • Modus Ponens (M. P.) -Jos P, niin Q. -P. …
  • Modus Tollens (M. T.) -Jos P, niin Q. …
  • Hypoteettinen syllogismi (H. S.) -Jos P, niin Q. …
  • Disjunktiivinen syllogismi (D. S.) -P tai Q. …
  • Konjunktio (Conj.) -P. …
  • Rakentava dilemma (C. D.) -(Jos P, niin Q) ja (Jos R, niin S) …
  • Yksinkertaistaminen (yksinkertainen) -P ja Q. …
  • Absorptio (abs.) -Jos P, niin Q.

Kuinka luet PQ:ta?

implikaatio p → q (lue: p tarkoittaa q:ta tai jos p, niin q) on väite, joka väittää, että jos p on tosi, niin myös q on tosi. Olemme yhtä mieltä siitä, että p → q on tosi, kun p on epätosi Lausketta p kutsutaan implikaatioiden hypoteesiksi ja lausetta q kutsutaan implikaation päätelmäksi.

Miksi P:tä ja Q:ta käytetään logiikassa?

Propositiot ovat yhtä suuria tai loogisesti ekvivalentteja, jos niillä on aina sama totuusarvo. Eli p ja q ovat loogisesti ekvivalentteja, jos p on tosi aina kun q on tosi ja päinvastoin, ja jos p on epätosi aina, kun q on epätosi, ja päinvastoin. Jos p ja q ovat loogisesti ekvivalentteja, kirjoitetaan p=q.

Suositeltava: