Logo pl.boatexistence.com

Która reguła wywnioskuje p q z p?

Spisu treści:

Która reguła wywnioskuje p q z p?
Która reguła wywnioskuje p q z p?

Wideo: Która reguła wywnioskuje p q z p?

Wideo: Która reguła wywnioskuje p q z p?
Wideo: Rule 131 Presumptions 2024, Może
Anonim

9.3 Metoda dedukcji Na przykład reguła Modus Ponens Modus Ponens W logice zdań, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), znany również jako modus ponendo ponens (łac. „ metoda umieszczania przez umieszczenie”) lub eliminacja implikacji lub afirmacja poprzednika, jest dedukcyjną formą argumentu i regułą wnioskowania https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens – Wikipedia

mówi nam, że jeśli zdanie „P. Q” jest prawdziwe, a zdanie „P” jest prawdziwe, to „Q” musi być prawdziwe. Tę regułę wnioskowania można wyrazić jako następujące tautologiczne twierdzenie o materialnej implikacji: „((P. Q)•P). P.”

Jaka jest ta reguła wnioskowania p i q implikuje p?

Po łacinie oznacza „metodę zaprzeczania”. Reguła wnioskowania wyprowadzona z połączenia modus ponens i przeciwieństwa. Jeśli q jest fałszywe i jeśli p implikuje q (p q), to p również jest fałszywe. Błąd w rozumowaniu. Biorąc pod uwagę stwierdzenie p, jeśli ~p prowadzi logicznie do sprzeczności, to p musi być prawdziwe.

Jakie jest 9 zasad wnioskowania?

Warunki w tym zestawie (9)

  • Modus Ponens (M. P.) -Jeśli P, to Q. -P. …
  • Modus Tollens (M. T.) -Jeżeli P, to Q. …
  • Sylogizm hipotetyczny (H. S.) -Jeżeli P, to Q. …
  • Sylogizm dysjunktywny (D. S.) -P lub Q. …
  • Spójnik (Spój.) -P. …
  • Konstruktywny dylemat (C. D.) -(Jeśli P, to Q) i (Jeśli R, to S) …
  • Uproszczenie (Uproszczenie) -P i Q. …
  • Wchłanianie (abs.) -Jeżeli P, to Q.

Jak czytasz PQ?

Implikacja p → q (czytaj: p implikuje q, lub jeśli p, to q) jest stwierdzeniem, które stwierdza, że jeśli p jest prawdziwe, to q również jest prawdziwe. Zgadzamy się, że p → q jest prawdziwe, gdy p jest fałszywe Zdanie p nazywa się hipotezą implikacji, a zdanie q jest wnioskiem implikacji.

Dlaczego P i Q są używane w logice?

Zdania są równe lub logicznie równoważne, jeśli zawsze mają tę samą wartość logiczną. Oznacza to, że p i q są logicznie równoważne, jeśli p jest prawdą, gdy q jest prawdą i na odwrót, a jeśli p jest fałszywe, gdy q jest fałszywe i na odwrót. Jeśli p i q są logicznie równoważne, piszemy p=q.

Zalecana: