9.3 Çıxarma Metodu Məsələn, Modus Ponens qaydası Modus Ponens Təklif məntiqində modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), həm də modus ponendo ponens (latınca " üçün" kimi də tanınır. yerləşdirmək yolu ilə qoyulma üsulu") və ya implikasiyanın aradan qaldırılması və ya əvvəlkinin təsdiqi, deduktiv arqument forması və nəticə çıxarma qaydasıdır https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Wikipedia
bizə deyir ki, əgər “P. Q” müddəası doğrudursa və “P” müddəası doğrudursa, “Q” doğru olmalıdır. Bu nəticə çıxarma qaydası maddi implikasiyanın aşağıdakı tavtoloji təsdiqi kimi ifadə edilə bilər: “((P. Q)•P). S."
Bu nəticənin p qaydası nədir və q p nəzərdə tutur?
Latın dilində "inkar üsulu" deməkdir. Modus ponens və ziddiyyətin birləşməsindən çıxarılan nəticə qaydası. Əgər q yanlışdırsa və p q (p q) ifadə edirsə, o zaman p də yanlışdır. Düşüncədə səhv. p ifadəsini nəzərə alaraq, əgər ~p məntiqi olaraq ziddiyyətə aparırsa, o zaman p doğru olmalıdır.
Nəticə çıxarmağın 9 qaydası hansılardır?
Bu dəstdəki şərtlər (9)
- Modus Ponens (M. P.) -Əgər P varsa Q. -P. …
- Modus Tollens (M. T.) -Əgər P varsa Q. …
- Hipotetik Sillogizm (H. S.) -Əgər P varsa Q. …
- Dizyunktiv sillogizm (D. S.) -P və ya Q. …
- Bağlama (Conj.) -S. …
- Konstruktiv Dilemma (C. D.) -(Əgər P, onda Q) və (Əgər R, onda S) …
- Sadələşdirmə (Sadə) -P və Q. …
- Udulma (absorbsiya) -Əgər P varsa Q.
PQ-nu necə oxuyursunuz?
p → q implikasiyası (oxu: p q nəzərdə tutur və ya p onda q deməkdir) əgər p doğrudursa, q-nun da doğru olduğunu təsdiq edən müddəadır. Biz razıyıq ki, p yanlış olduqda p → q doğrudur p müddəası implikasiyanın fərziyyəsi, q ifadəsi isə implikasiyanın nəticəsi adlanır.
Niyə P və Q məntiqdə istifadə olunur?
Təkliflər həmişə eyni həqiqət dəyərinə malik olduqda bərabər və ya məntiqi ekvivalentdir. Yəni p və q məntiqi olaraq ekvivalentdirsə, əgər q doğru olduqda p doğrudur və əksinə, əgər q yalan olduqda p yanlışdırsa və əksinə. Əgər p və q məntiqi ekvivalentdirsə, biz p=q yazırıq.
