Logo sk.boatexistence.com

Ktoré pravidlo odvodzuje p q z p?

Obsah:

Ktoré pravidlo odvodzuje p q z p?
Ktoré pravidlo odvodzuje p q z p?

Video: Ktoré pravidlo odvodzuje p q z p?

Video: Ktoré pravidlo odvodzuje p q z p?
Video: Простое и глубокое введение в Самоисследование от Шри Муджи 2024, Smieť
Anonim

9.3 Metóda odpočtu Napríklad pravidlo Modus Ponens Modus Ponens Vo výrokovej logike je modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), známy aj ako modus ponendo ponens (lat. metóda uvedenia umiestnením ) alebo eliminácia implikácie alebo potvrdenie predchodcu, je deduktívna forma argumentu a pravidlo dedukcie https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - Wikipedia

nám hovorí, že ak je výrok „P. Q“pravdivý a výrok „P“je pravdivý, potom „Q“musí byť pravdivý. Toto pravidlo inferencie možno vyjadriť ako nasledujúce tautologické tvrdenie o materiálnej implikácii: „((P. Q)•P). Q.“

Aké je toto pravidlo vyvodzovania p a q znamená p?

Latinsky znamená „metóda odmietnutia“. Pravidlo inferencie odvodené z kombinácie modus ponens a kontrapozitíva. Ak q je nepravda a ak p implikuje q (p q), potom p je tiež nepravda. Chyba v uvažovaní. Ak je dané tvrdenie p, ak ~p logicky vedie k rozporu, potom p musí byť pravdivé.

Akých je 9 pravidiel vyvodzovania?

Podmienky v tejto skupine (9)

  • Modus Ponens (M. P.) -Ak P, potom Q. -P. …
  • Modus Tollens (M. T.) -Ak P, potom Q. …
  • Hypotetický sylogizmus (H. S.) -Ak P, tak Q. …
  • Disjunktívny sylogizmus (D. S.) -P alebo Q. …
  • Spojka (Spoj.) -P. …
  • Konštruktívna dilema (C. D.) -(Ak P, potom Q) a (Ak R, potom S) …
  • Zjednodušenie (Simp.) -P a Q. …
  • Absorpcia (Abs.) -Ak P, potom Q.

Ako čítate PQ?

Impplikácia p → q (čítaj: p implikuje q, alebo ak p, potom q) je tvrdenie, ktoré tvrdí, že ak je p pravdivé, potom je pravdivé aj q. Súhlasíme, že p → q je pravdivé, keď p je nepravdivé Výrok p sa nazýva hypotéza implikácie a výrok q sa nazýva záver implikácie.

Prečo sa P a Q používajú v logike?

Propozície sú rovnaké alebo logicky ekvivalentné, ak majú vždy rovnakú pravdivostnú hodnotu. To znamená, že p a q sú logicky ekvivalentné, ak p je pravdivé vždy, keď q je pravdivé, a naopak, a ak p je nepravdivé, ak je q nepravdivé, a naopak. Ak sú p a q logicky ekvivalentné, napíšeme p=q.

Odporúča: