Logo ro.boatexistence.com

Care regulă deduce p q din p?

Cuprins:

Care regulă deduce p q din p?
Care regulă deduce p q din p?

Video: Care regulă deduce p q din p?

Video: Care regulă deduce p q din p?
Video: Conditional Statements: if p then q 2024, Mai
Anonim

9.3 Metoda deducerii De exemplu, regula lui Modus Ponens Modus Ponens În logica propozițională, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), cunoscut și sub numele de modus ponendo ponens (latina pentru „ metoda de punere prin plasare ) sau eliminarea implicației sau afirmarea antecedentului, este o formă a argumentului deductiv și o regulă de inferență https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - Wikipedia

ne spune că dacă propoziția „P. Q” este adevărată și propoziția „P” este adevărată, atunci „Q” trebuie să fie adevărată. Această regulă de inferență poate fi exprimată ca următoarea afirmație tautologică a implicației materiale: „((P. Q)•P). Q.”

Care este această regulă de inferență pe care p și q implică p?

în latină pentru „metodă de negare”. O regulă de inferență extrasă din combinația de modus ponens și contrapozitiv. Dacă q este fals și dacă p implică q (p q), atunci p este și fals. O eroare de raționament. Având în vedere o afirmație p, dacă ~p duce logic la o contradicție, atunci p trebuie să fie adevărat.

Care sunt cele 9 reguli de inferență?

Termeni din acest set (9)

  • Modus Ponens (M. P.) -Dacă P atunci Q. -P. …
  • Modus Tollens (M. T.) -Dacă P, atunci Q. …
  • Silogism ipotetic (H. S.) -Dacă P, atunci Q. …
  • Silogism disjunctiv (D. S.) -P sau Q. …
  • Conjuncție (Conj.) -P. …
  • Dilema constructivă (C. D.) -(Dacă P atunci Q) și (Dacă R atunci S) …
  • Simplificare (simplificare) -P și Q. …
  • Absorbție (Abs.) -Dacă P, atunci Q.

Cum citiți PQ?

Implicația p → q (a se citi: p implică q, sau dacă p atunci q) este afirmația care afirmă că dacă p este adevărat, atunci q este și adevărat. Suntem de acord că p → q este adevărat atunci când p este fals Afirmația p se numește ipoteza implicației, iar afirmația q se numește concluzia implicației.

De ce sunt folosite P și Q în logică?

Propozițiile sunt egale sau echivalente logic dacă au întotdeauna aceeași valoare de adevăr. Adică, p și q sunt logic echivalent dacă p este adevărat ori de câte ori q este adevărat și invers și dacă p este fals oricând q este fals și invers. Dacă p și q sunt echivalente din punct de vedere logic, scriem p=q.

Recomandat: