Logo mn.boatexistence.com

Аль дүрэм p-ээс p q-г гаргах вэ?

Агуулгын хүснэгт:

Аль дүрэм p-ээс p q-г гаргах вэ?
Аль дүрэм p-ээс p q-г гаргах вэ?

Видео: Аль дүрэм p-ээс p q-г гаргах вэ?

Видео: Аль дүрэм p-ээс p q-г гаргах вэ?
Видео: 10 самых АТМОСФЕРНЫХ мест Дагестана. БОЛЬШОЙ ВЫПУСК #Дагестан #ПутешествиеПоДагестану 2024, May
Anonim

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 гэж бичнэ.

Зөвлөмж болгож буй: