Lite panik - Satslogik

Hej!

Tacksam för snabba svar...
Insåg mitt i tentapluggandet att jag saknar vissa sidor om satslogiken i kursen kritiskt tänkande. Är det någon vänlig själ som är insatt i detta ämne och har lust att hjälpa mig?

Det jag undrar är följande: Hur tabellprövar man satser samt avgör om de är satslogisk sann/falsk/kontingent? Sökt på google, men gör mig inte klokare...

edit:stavfel

En tabellprövning är att du ställer upp variablernas möjliga sanningsvärden i en tabell för att se satsens möjliga sanningsvärden.

Ex:

A|B|A & B
S|S|S
F|S|F
S|F|F
F|F|F

A|B|A v B
S|S|S
F|S|S
S|F|S
F|F|F

Där har du tabellerna för 'och' respektive 'eller'. En tabellprövning av ett mer komplext uttryck går till på samma sätt.

En sats som är sann oavsett variablernas sanningsvärden är en tautologi. En sats som är falsk oavsett variablernas sanningsvärden är en motsägelse. En sats som är sann eller falsk beroende på variablernas sanningsvärden är kontingent.

Klarare?

Lånar tråden lite. Jag panikpluggar även jag till en filosofitenta på Lördag. Hur faan lär man sig Fitch och härledningar i Fitch på snabbaste och enklaste sätt?