Logo hr.boatexistence.com

Koje pravilo zaključuje p q iz p?

Sadržaj:

Koje pravilo zaključuje p q iz p?
Koje pravilo zaključuje p q iz p?

Video: Koje pravilo zaključuje p q iz p?

Video: Koje pravilo zaključuje p q iz p?
Video: Моя работа наблюдать за лесом и здесь происходит что-то странное 2024, Svibanj
Anonim

9.3 Metoda dedukcije Na primjer, pravilo Modus Ponens Modus Ponens U propozicionalnoj logici, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), također poznat kao modus ponendo ponens (latinski za " metoda stavljanja stavljanjem") ili eliminacija implikacije ili potvrđivanje antecedenta, deduktivni je oblik argumenta i pravilo zaključivanja https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - Wikipedia

nam govori da ako je prijedlog “P. Q” istinit, a prijedlog “P” istinit, onda “Q” mora biti istinit. Ovo pravilo zaključivanja može se izraziti kao sljedeća tautološka tvrdnja materijalne implikacije: “((P. Q)•P). Q.”

Što je ovo pravilo zaključivanja p i q implicira p?

Latinski za "metoda poricanja". Pravilo zaključivanja izvučeno iz kombinacije modus ponens i kontrapozitiva. Ako je q lažno, i ako p implicira q (p q), tada je i p također lažno. Greška u zaključivanju. S obzirom na tvrdnju p, ako ~p logički vodi do kontradikcije, tada p mora biti istinit.

Kojih je 9 pravila zaključivanja?

Uvjeti u ovom skupu (9)

  • Modus Ponens (M. P.) -Ako je P onda Q. -P. …
  • Modus Tollens (M. T.) -Ako je P onda Q. …
  • Hipotetički silogizam (H. S.) -Ako je P onda Q. …
  • Disjunktivni silogizam (D. S.) -P ili Q. …
  • veznik (konj.) -P. …
  • Konstruktivna dilema (C. D.) -(Ako je P onda Q) i (ako je R onda S) …
  • Pojednostavljenje (jednostavno) -P i Q. …
  • Apsorpcija (aps.) -Ako je P onda Q.

Kako čitate PQ?

Implikacija p → q (čitaj: p implicira q, ili ako je p onda q) je izjava koja tvrdi da ako je p istinit, onda je i q istinit. Slažemo se da je p → q istinit kada je p lažno Tvrdnja p naziva se hipoteza implikacije, a izjava q naziva se zaključak implikacije.

Zašto se P i Q koriste u logici?

Propozicije su jednake ili logički ekvivalentne ako uvijek imaju istu vrijednost istinitosti. To jest, p i q su logički ekvivalentni ako je p istinit kad god je q istinit, i obrnuto, i ako je p lažan kad god je q lažan, i obrnuto. Ako su p i q logički ekvivalentni, pišemo p=q.

Preporučeni: