satslogisk sekvent
Hej!
Anna har alltid antingen skjorta eller t-shirt men aldrig båda samtidigt. Hon har aldrig jacka och halsduk samtidigt. Om hon har t-shirt tar hon alltid jacka. Då kan vi dra slutsatsen att om Anna har halsduk så har hon också skjorta.
Jag ska formalisera resonemanget som en satslogisk sekvent genom att använda följande variabler:
j : anna har jacka
s : anna har skjorta
h : anna har halsduk
t : anna har t-shirt
Tror sekventen ser ut såhär:
Känner mig osäker så jag undrar om det stämmer?
Tack på förhand!
Bra tänkt. En liten miss är att i din formalisering av "Hon har aldrig jacka och halsduk samtidigt" så antar du att hon har antingen det ena eller det andra, men det kan ju också vara så att hon inte har något av det. Där du har skrivit (j ^ ~h) v (~j ^ h) så borde det alltså istället vara "inte båda", dvs ~(j ^ h).
Första meningen är mycket riktigt en exklusiv disjunktion, dvs "antingen-eller, men inte båda". Vill man så kan man formulera det som en negerad ekvivalens, dvs ~(s <--> t), men det du har skrivit är också alldeles rätt så det är en smaksak.
Russell skrev:Bra tänkt. En liten miss är att i din formalisering av "Hon har aldrig jacka och halsduk samtidigt" så antar du att hon har antingen det ena eller det andra, men det kan ju också vara så att hon inte har något av det. Där du har skrivit (j ^ ~h) v (~j ^ h) så borde det alltså istället vara "inte båda", dvs ~(j ^ h).
Första meningen är mycket riktigt en exklusiv disjunktion, dvs "antingen-eller, men inte båda". Vill man så kan man formulera det som en negerad ekvivalens, dvs ~(s <--> t), men det du har skrivit är också alldeles rätt så det är en smaksak.
Ok toppen! Tack!
Om jag vill bevisa detta med naturlig deduktion, blir det såhär då?
Edit: såg några misstag. Återkommer.
(ångrat inlägg)
