Logo sq.boatexistence.com

Në logjikën propozicionale nëse p- q?

Përmbajtje:

Në logjikën propozicionale nëse p- q?
Në logjikën propozicionale nëse p- q?

Video: Në logjikën propozicionale nëse p- q?

Video: Në logjikën propozicionale nëse p- q?
Video: J6SHSHK11_1-2- Parimet e mendimit logjik (Ligjet e logjikës) 2024, Mund
Anonim

Nëse propozimet p dhe q janë ekuivalente, ato të dyja janë të vërteta ose të dyja të gabuara, domethënë, të dyja kanë të njëjtën vlerë të vërtetës. Një tautologji është një deklaratë që është gjithmonë e vërtetë. Një kontradiktë është një deklaratë që është gjithmonë e rreme.

Çfarë do të thotë P -> Q?

p → q (p nënkupton q) (nëse p atëherë q) është propozimi që është i gabuar kur p është i vërtetë dhe q është i gabuar dhe i vërtetë ndryshe.

Çfarë është logjikisht ekuivalente me P → Q?

P→Q është logjikisht ekuivalente me ¬P∨Q. … Shembull: "Nëse një numër është shumëfish i 4, atëherë ai është çift" është ekuivalent me, "një numër nuk është shumëfish i 4-ës ose (përndryshe) është çift. "

Çfarë është P vetëm nëse Q?

Vetëm nëse prezanton një kusht të domosdoshëm: P vetëm nëse Q do të thotë se e vërteta e Q është e nevojshme, ose kërkohet, në mënyrë që P të jetë e vërtetë. Kjo do të thotë, P vetëm nëse Q përjashton vetëm një mundësi: që P është e vërtetë dhe Q është e gabuar.

Kur p e kushtëzuar → q është e gabuar?

Le të jenë p dhe q dy pohime, atëherë "nëse p atëherë q" është një pohim i përbërë, i shënuar me p→ q dhe referuar si një pohim i kushtëzuar ose nënkuptim. Implikimi p→ q është i gabuar vetëm kur p është i vërtetë, dhe q është i gabuar; përndryshe, është gjithmonë e vërtetë.

Recommended: