Satsologi

JnGn skrev :

Hej

jag behöver hjälp med följande uppgift:

Utför en satsologisk avbildning av uttrycket:

Om den första bilen inte är bli, men ifall den andra bilen inte är röd eller den tredje bilen inte är svart...

Det jag har svårt med är hur man ska skriva efter första stycket, dvs men ifall den andra bilen inte är röd. 

Jag förstår att du tycker att det är svårt. Satsen kan ju tolkas på olika sätt beroende på vilka satsdelar konnektivet "eller" avser.

Kan du skriva av hela uppgiften?

Utför en exakt satsologisk avbildning av uttrycket: Om den första bilen inte är blå, men ifall den andra bilen inte är röd eller den tredje bilen inte är svart.

x= den första bilen är blå

y= den andra bilen är röd

z= den tredje bilen är svart

Jag såg att det blev ett fel när jag skrev blå från början, den blev visst bli istället.

JnGn skrev :

 

Utför en exakt satsologisk avbildning av uttrycket: Om den första bilen inte är blå, men ifall den andra bilen inte är röd eller den tredje bilen inte är svart.

x= den första bilen är blå

y= den andra bilen är röd

z= den tredje bilen är svart

Jag såg att det blev ett fel när jag skrev blå från början, den blev visst bli istället.

Jag kanske har missuppfattat alltihop, men jag tolkade det som att uppgiften handlar om satslogik.

Ett satslogiskt uttryck är ett påstående som har ett sanningsvärde. Det är antingen Sant eller Falskt.

Men det som står skrivet i uppgiften är inte ett påstående och saknar alltså sanningsvärde.

Det är ju en "halvfärdig" implikation "Om A så B", vilket satslogiskt kan beskrivas som $A\to B$, men det står ju bara "Om A", vilket det inte finns någon satslogisk beskrivning av.

Snälla säg att jag har missuppfattat alltihop.

Annars kanske det inte var en felskrivning i TS utan det kanske verkligen rör sig om satsOlogik? ;-)