Logo mn.boatexistence.com

Хэрэв p- q бол саналын логикт?

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

Хэрэв p- q бол саналын логикт?
Хэрэв p- q бол саналын логикт?

Видео: Хэрэв p- q бол саналын логикт?

Видео: Хэрэв p- q бол саналын логикт?
Видео: ВАШЕ СЕРДЦЕ БУДЕТ В ШОКЕ! Упражнение для здоровья сердца! 2024, May
Anonim

Хэрэв p ба q саналууд тэнцүү бол тэд хоёулаа үнэн эсвэл хоёулаа худал, өөрөөр хэлбэл хоёулаа ижил үнэний утгатай байна. Тавтологи бол үргэлж үнэн байдаг мэдэгдэл юм. Зөрчил гэдэг нь үргэлж худал байдаг мэдэгдэл юм.

P -> Q гэж юу гэсэн үг вэ?

p → q (p нь q-г илэрхийлнэ) (хэрэв p бол q) нь p нь үнэн, q нь худал, өөрөөр хэлбэл үнэн байх үед худал болох санал юм.

П → Q-тай логикийн хувьд юу тэнцүү вэ?

P→Q нь логикийн хувьд ¬P∨Q-тэй тэнцүү байна. … Жишээ: “Хэрэв тоо 4-ийн үржвэр бол тэгш байна” гэдэг нь “тоо 4-ийн үржвэр биш, эсвэл (өөрөөр) тэгш байна.”-тэй тэнцүү.

Зөвхөн Q бол P гэж юу вэ?

Зөвхөн зайлшгүй шаардлагатай нөхцөл танилцуулсан тохиолдолд: P нь зөвхөн Q-ийн үнэн нь P үнэн байхын тулд Q-ийн үнэн шаардлагатай эсвэл шаардлагатай гэсэн үг юм. Өөрөөр хэлбэл, P нь зөвхөн нэг боломжийг үгүйсгэсэн тохиолдолд Q нь P үнэн, Q худал гэсэн үг.

Нөхцөл p → q худал үед?

p ба q нь хоёр илэрхийлэл гэж үзье, тэгвэл "хэрэв p бол q" нь нийлмэл өгүүлбэр бөгөөд p→ q-аар тэмдэглэгдсэн ба болзолт өгүүлбэр эсвэл далд утга гэж нэрлэгддэг. p→ q утга нь зөвхөн p үнэн үед худал, q нь худал; эс бөгөөс энэ нь үргэлж үнэн байдаг.

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