Logo sv.boatexistence.com

I propositionell logik om p- q?

Innehållsförteckning:

I propositionell logik om p- q?
I propositionell logik om p- q?

Video: I propositionell logik om p- q?

Video: I propositionell logik om p- q?
Video: Propositional Logic − Logical Equivalences 2024, Maj
Anonim

Om propositionerna p och q är ekvivalenta, , är de båda sanna eller båda falska, det vill säga att de båda har samma sanningsvärde. En tautologi är ett påstående som alltid är sant. En motsägelse är ett påstående som alltid är falskt.

Vad betyder P -> Q?

p → q (p innebär q) (om p så q) är påståendet som är falskt när p är sant och q är falskt och annars sant.

Vad motsvarar logiskt P → Q?

P→Q motsvarar logiskt ¬P∨Q. … Exempel: "Om ett tal är en multipel av 4, så är det jämnt" motsvarar, "ett tal är inte en multipel av 4 eller (annars) är det jämnt. "

Vad är P endast om Q?

Endast om introducerar ett nödvändigt villkor: P endast om Q betyder att sanningen i Q är nödvändig, eller krävs, för att P ska vara sant. Det vill säga P bara om Q utesluter bara en möjlighet: att P är sant och Q är falskt.

När det villkorliga p → q är falskt?

Låt p och q vara två påståenden, då är "om p då q" ett sammansatt påstående, betecknat med p→ q och hänvisat till som ett villkorligt påstående, eller implikation. Implikationen p→ q är falsk endast när p är sant, och q är falsk; annars är det alltid sant.

Rekommenderad: