Logo sl.boatexistence.com

Katero pravilo sklepa na p q iz p?

Kazalo:

Katero pravilo sklepa na p q iz p?
Katero pravilo sklepa na p q iz p?

Video: Katero pravilo sklepa na p q iz p?

Video: Katero pravilo sklepa na p q iz p?
Video: Как правильно работать с силиконом? Делаем аккуратный шов! Распространенные ошибки! 2024, Maj
Anonim

9.3 Metoda odbitka Na primer, pravilo Modus Ponens Modus Ponens V propozicijski logiki je modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), znan tudi kot modus ponendo ponens (latinsko za " metoda postavljanja z umestitvijo") ali odstranitev implikacije ali potrditev antecedenta, je deduktivna oblika argumenta in pravilo sklepanja https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - Wikipedia

nam pove, da če je trditev »P. Q« resnična in je trditev »P« resnična, potem mora biti »Q« resničen. To pravilo sklepanja je mogoče izraziti kot naslednja tavtološka trditev materialne implikacije: »((P. Q)•P). Q."

Kaj pomeni to pravilo sklepanja p in q?

latinsko za "metoda zanikanja." Pravilo sklepanja, ki izhaja iz kombinacije modus ponens in kontrapozitiva. Če je q napačno in če p implicira q (p q), potem je tudi p napačen. Napaka v sklepanju. Glede na stavek p, če ~p logično vodi v protislovje, mora biti p resničen.

Kaj je 9 pravil sklepanja?

Pogoji v tem nizu (9)

  • Modus Ponens (M. P.) -Če je P, potem Q. -P. …
  • Modus Tollens (M. T.) -Če je P potem Q. …
  • Hipotetični silogizem (H. S.) -Če je P potem Q. …
  • Disjunktivni silogizem (D. S.) -P ali Q. …
  • veznik (konj.) -P. …
  • Konstruktivna dilema (C. D.) -(Če P potem Q) in (Če R potem S) …
  • Poenostavitev (poenostavljeno) -P in Q. …
  • Absorpcija (Abs.) -Če je P potem Q.

Kako berete PQ?

Implikacija p → q (beri: p implicira q, ali če p pomeni q) je izjava, ki trdi, da če je p res, potem je tudi q resničen. Strinjamo se, da je p → q res, če je p napačno Izjava p se imenuje hipoteza implikacije, trditev q pa zaključek implikacije.

Zakaj se v logiki uporabljata P in Q?

Predlogi so enaki ali logično enakovredni, če imajo vedno isto vrednost resnice. To pomeni, da sta p in q logično ekvivalentna, če je p res, kadar je q resničen, in obratno, in če je p napačen, kadar je q napačen, in obratno. Če sta p in q logično enakovredna, pišemo p=q.

Priporočena: