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.
