Logo kk.boatexistence.com

Қай ереже p-дан p q шығарады?

Мазмұны:

Қай ереже p-дан p q шығарады?
Қай ереже p-дан p q шығарады?

Бейне: Қай ереже p-дан p q шығарады?

Бейне: Қай ереже p-дан p q шығарады?
Бейне: Покинутый дом_Рассказ_Слушать 2024, Мамыр
Anonim

9.3 Дедукция әдісі Мысалы, Modus Ponens ережесі Модус Поненс Пропозициялық логикада 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). Q."

Бұл p тұжырымының ережесі және q p дегенді білдіреді?

Латын тілінен «жоққа шығару әдісі». Модус поненс пен контрпозитивтің тіркесімінен алынған қорытынды ережесі. Егер 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. …
  • Дизъюнктивтік силлогизм (D. S.) -P немесе Q. …
  • Жалғау (конж.) -П. …
  • Сонструктивті дилемма (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 логикада қолданылады?

Ұсыныстар әрқашан бірдей ақиқат мәніне ие болса, олар тең немесе логикалық балама болады. Яғни, p және q логикалық тұрғыдан баламасы, егер q шын болғанда p ақиқат болса және керісінше, ал q жалған болғанда p жалған болса және керісінше. Егер p және q логикалық эквивалент болса, біз p=q деп жазамыз.

Ұсынылған: