9.3 Išskaičiavimo metodas Pavyzdžiui, Modus Ponens taisyklė Modus Ponens Teiginių logikoje modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), taip pat žinomas kaip modus ponendo ponens (lot. patalpinimo metodas) arba implikacijos pašalinimas arba antecedento patvirtinimas, yra dedukcinė argumentų forma ir išvados taisyklė https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens – Vikipedija
nurodo, kad jei teiginys „P. Q“yra teisingas, o teiginys „P“yra teisingas, tada „Q“turi būti teisingas. Šią išvados taisyklę galima išreikšti tokiu tautologiniu materialios implikacijos teiginiu: „((P. Q)•P). Q.”
Kokia ši išvados p ir q taisyklė reiškia p?
Lotynų kalba reiškia „neigimo metodas“. Išvados taisyklė, padaryta derinant modus ponens ir priešpriešą. Jei q yra klaidingas ir jei p reiškia q (p q), tada p taip pat yra klaidingas. Samprotavimo klaida. Duotas teiginys p, jei ~p logiškai veda į prieštaravimą, tada p turi būti teisingas.
Kokios yra 9 išvadų taisyklės?
Šio rinkinio sąlygos (9)
- Modus Ponens (M. P.) -Jei P, tada Q. -P. …
- Modus Tollens (M. T.) -Jei P, tada Q. …
- Hipotetinis silogizmas (H. S.) – Jei P, tada Q. …
- Disjunktyvusis silogizmas (D. S.) -P arba Q. …
- Sąjunga (Conj.) -P. …
- Konstruktyvi dilema (C. D.) -(Jei P, tada Q) ir (Jei R, tada S) …
- Supaprastinimas (paprastas) -P ir Q. …
- Sugertis (abs.) -Jei P, tada Q.
Kaip skaitote PQ?
Imlikacija p → q (skaitykite: p reiškia q, arba jei p, tada q) yra teiginys, teigiantis, kad jei p teisingas, tada q taip pat yra teisingas. Sutinkame, kad p → q yra teisingas, kai p yra klaidingas Teiginys p vadinamas implikacijos hipoteze, o teiginys q vadinamas implikacijos išvada.
Kodėl P ir Q naudojami logikoje?
Teiginiai yra lygūs arba logiškai lygiaverčiai, jei jie visada turi tą pačią tiesos reikšmę. Tai yra, p ir q yra logiškai lygūs, jei p yra teisingas, kai q yra teisingas, ir atvirkščiai, ir jei p yra klaidingas, kai q yra klaidingas, ir atvirkščiai. Jei p ir q yra logiškai lygiaverčiai, rašome p=q.
