9.3 Хасах арга Жишээ нь, Modus Ponens-ийн дүрэм Модус Поненс Саналын логикт модуль поненс (/ˈmoʊdəs ˈpoʊnɛnz/; MP) гэж бас modus ponendo ponens (Латинаар " байрлуулах замаар тавих арга") эсвэл далд утга арилгах буюу өмнөхийг батлах нь дедуктив аргументын хэлбэр ба дүгнэлтийн дүрэм юм https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Википедиа
Хэрэв “P. Q” санал үнэн бол “P” санал үнэн бол “Q” үнэн байх ёстой гэдгийг бидэнд хэлдэг. Энэхүү дүгнэлтийн дүрмийг материаллаг нөлөөллийн дараах тавтологийн батламжаар илэрхийлж болно: “((P. Q)•P). А."
Энэ p ба q нь p гэсэн дүгнэлтийн дүрэм юу вэ?
Латинаар "үгүйсгэх арга". Modus ponens болон contrapositive-ийн хослолоос гаргасан дүгнэлтийн дүрэм. Хэрэв q худал, хэрэв p нь q (p q) байвал p нь мөн худал болно. Үндэслэл дэх алдаа. Өгөгдсөн p хэллэг, хэрвээ ~p нь логикийн хувьд зөрчилд хүргэж байвал p үнэн байх ёстой.
Дүгнэлтийн 9 дүрэм юу вэ?
Энэ багц дахь нөхцөлүүд (9)
- Modus Ponens (M. P.) -Хэрэв P бол Q. -P. …
- Modus Tollens (M. T.) -Хэрэв P бол Q. …
- Таамаглалын силлогизм (H. S.) -Хэрэв P бол Q. …
- Disjunctive Syllogism (D. S.) -P or Q. …
- Холбоо (Conj.) -П. …
- Бүтээгч дилемма (C. D.) -(Хэрэв P бол Q бол) ба (Хэрэв R бол S) …
- Хялбарчлал (Энгийн) -P ба Q. …
- Шингээлт (шингээх) -Хэрэв P бол Q.
Та PQ-г хэрхэн уншдаг вэ?
p → q (унших: p нь q гэсэн утгатай, эсвэл хэрэв p бол q байвал) нь хэрэв p үнэн бол q ч мөн үнэн болохыг батлах илэрхийлэл юм.p худал үед p → q нь үнэн гэдгийг бид хүлээн зөвшөөрч байна. p хэллэгийг далд байдлын таамаглал, q мэдэгдлийг далдлалын дүгнэлт гэж нэрлэдэг.
Яагаад P ба Q логикт ашиглагддаг вэ?
Саналууд нь үргэлж ижил үнэний утгатай байвал тэнцүү эсвэл логикийн хувьд тэнцүү байна. Өөрөөр хэлбэл, q үнэн үед p нь үнэн бол , мөн эсрэгээр, q худал үед p худал байвал p ба q логикийн хувьдтэнцүү байна. Хэрэв p ба q логикийн хувьд тэнцүү бол бид p=q гэж бичнэ.
