Logo az.boatexistence.com

Hansı qayda p-dən p q-ı çıxarır?

Mündəricat:

Hansı qayda p-dən p q-ı çıxarır?
Hansı qayda p-dən p q-ı çıxarır?

Video: Hansı qayda p-dən p q-ı çıxarır?

Video: Hansı qayda p-dən p q-ı çıxarır?
Video: telefon kiLidini acmaq üçün kod 2024, Bilər
Anonim

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.

Tövsiyə: