Logo sq.boatexistence.com

Cili rregull nxjerr p q nga p?

Përmbajtje:

Cili rregull nxjerr p q nga p?
Cili rregull nxjerr p q nga p?

Video: Cili rregull nxjerr p q nga p?

Video: Cili rregull nxjerr p q nga p?
Video: ГЛАВНЫЕ ОШИБКИ при ПЕРЕСАДКЕ Орхидеи!!! // Только МОЙ ЛИЧНЫЙ ОПЫТ 💐💮😊 2024, Mund
Anonim

9.3 Metoda e zbritjes Për shembull, rregulli i Modus Ponens Modus Ponens Në logjikën propozicionale, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), i njohur gjithashtu si modus ponendo për "ponens metoda e vendosjes duke vendosur") ose eliminimi i nënkuptimit ose pohimi i paraardhësit, është një formë argumenti deduktiv dhe rregull konkluzioni https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - Wikipedia

na tregon se nëse propozimi "P. Q" është i vërtetë dhe propozimi "P" është i vërtetë, atëherë "Q" duhet të jetë i vërtetë. Ky rregull konkluzioni mund të shprehet si pohimi tautologjik vijues i nënkuptimit material: “((P. Q)•P). P."

Çfarë është ky rregull i përfundimit p dhe q nënkupton p?

Latinisht për "metodën e mohimit". Një rregull konkluzion i nxjerrë nga kombinimi i modus ponens dhe kontrapozitivit. Nëse q është e gabuar, dhe nëse p nënkupton q (p q), atëherë p është gjithashtu e gabuar. Një gabim në arsyetim. Duke pasur parasysh një pohim p, nëse ~p çon logjikisht në një kontradiktë, atëherë p duhet të jetë e vërtetë.

Cilat janë 9 rregullat e përfundimit?

Kushtet në këtë grup (9)

  • Modus Ponens (M. P.) -Nëse P atëherë Q. -P. …
  • Modus Tollens (M. T.) -Nëse P atëherë Q. …
  • Silogizëm hipotetik (H. S.) -Nëse P atëherë Q. …
  • Silogizëm disjunctive (D. S.) -P ose Q. …
  • Lidhëz (lidhëz.) -P. …
  • Dilema konstruktive (C. D.) -(Nëse P atëherë Q) dhe (Nëse R atëherë S) …
  • Thjeshtim (Simp.) -P dhe Q. …
  • Absorbimi (Abs.) -Nëse P atëherë Q.

Si e lexoni PQ?

Nënkuptimi p → q (lexo: p nënkupton q, ose nëse p atëherë q) është pohimi që pohon se nëse p është e vërtetë, atëherë q është gjithashtu e vërtetë. Ne pajtohemi që p → q është e vërtetë kur p është e gabuar Pohimi p quhet hipoteza e nënkuptimit dhe pohimi q quhet përfundim i nënkuptimit.

Pse P dhe Q përdoren në logjikë?

Propozimet janë të barabarta ose logjikisht ekuivalente nëse kanë gjithmonë të njëjtën vlerë të vërtetësisë. Kjo do të thotë, p dhe q janë logjikisht ekuivalente nëse p është e vërtetë sa herë që q është e vërtetë, dhe anasjelltas, dhe nëse p është e gabuar sa herë që q është e gabuar, dhe anasjelltas. Nëse p dhe q janë logjikisht ekuivalente, shkruajmë p=q.

Recommended: