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 деп жазамыз.
