6 svar
47 visningar
Sight är nöjd med hjälpen
Sight 9 – Fd. Medlem
Postad: 24 aug 2020 20:10

(Mängdlära - Logik)

A = {-2,-1,0,1,2} B= {-4,-2,0,2,4}

Propositionen:

 (nZ)(nAnB)

Det jag undrar är om inte hela propositionen får sanningsvärde falsk enbart av att det står "Alla/Varje tal, n, som ingår i Z". (Tänker mer specifikt på att det står ALLA tal i Z, vilket A och B inte är)

Yngve 39802 – Livehjälpare
Postad: 24 aug 2020 20:30 Redigerad: 24 aug 2020 20:32

Hej och välkommen till Pluggakuten!

Nej, det betyder

"För alla n som tillhör Z gäller att: Om n tillhör A så tillhör n B"

Sight 9 – Fd. Medlem
Postad: 24 aug 2020 20:34

Så är denna proposition falsk i så fall?

Yngve 39802 – Livehjälpare
Postad: 24 aug 2020 20:37

Ja, men ser du varför?

Sight 9 – Fd. Medlem
Postad: 24 aug 2020 20:39

Det är väl för att ifall n är -1 så blir det True -> False, vilket ger det slutgiltiga svaret False. Och eftersom det är "För alla n..." så blir hela propositionen Falsk eftersom man har hittat ett värde då det inte gäller?

Yngve 39802 – Livehjälpare
Postad: 24 aug 2020 20:41

Bra, det stämmer. Du har hittat ett motexempel precis som du beskriver.

Sight 9 – Fd. Medlem
Postad: 24 aug 2020 20:42

Tack för hjälpen <3

Svara
Close