Satslogika symboler

Finns någon här som kan hälpa mig att lösa nedanstånde frågor som träning. Vill se om jag har rätt!

Svara med satslogiska symboler och de logiska konstanterna. Förklara vilken regel du använt och om slutsatserna är logiskt giltiga eller inte.
.

a) Premiss 1: Om solen skiner och fåglarnakvittrar, så är det vår.

Premiss 2: Solen skiner och fåglarnakvittrar.

Slutsats: Alltså är det vår.
.
B)
Premiss 1: Mamma eller pappa skjutsar till träningen.

Premiss 2: Pappa skjutsar inte till träningen.

Slutsats: Mamma skjutsar till träningen.

Filosofi --> Matematiska och naturvetenskapliga uppgifter
/Moderator

A) P1 & P2 => ”det är vår”

B) P1 & P2 => ”mamma skjutsar”

Deduktion.

A)
P1: (A ∧ B) → C
P2: (A ∧ B)
∴ C


B)
P1: A ∨ B
P2: ¬ B
∴ A

Både A) och B) är mycket grundläggande slutledningar. A) är modus ponens. B) är modus tollendo ponens. Jag såg att jag missade att svara på allt som TS efterfrågade.

.
Tack för hjälpen.