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.
