Logo bs.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, Maj
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 afirmacija antecedenta, je deduktivni oblik argumenta i pravilo zaključivanja https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - Wikipedia

nam govori da ako je propozicija “P. Q” tačna, a propozicija “P” tačna, 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.”

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

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

Kojih je 9 pravila zaključivanja?

Uslovi u ovom setu (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 (Abs.) -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 tačno, onda je i q tačan. Slažemo se da je p → q istinit kada je p lažno Tvrdnja p se naziva hipoteza implikacije, a izjava q se naziva 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 tačno kad god je q tačno, i obrnuto, i ako je p lažno kad god je q lažno, i obrnuto. Ako su p i q logički ekvivalentni, pišemo p=q.

Preporučuje se: