Tenta i logik

Teoretisk filosofi I, Inledning till logik, 7.5 hp. Tentamen ht 09.
1.Visa med hjälp av sanningstabell att p(qp) är en tautologi och att (pq)p inte är det.
(4p)
2. Avgör med hjälp av trädmetoden huruvida satslogisk följd gäller i nedanstående fall.
a)
p(qr), r  p
(2p)
b)
(pp)q, r  q
(2p)
c)
(pq)(rq), q  pr
(2p)
3. Ange den satslogiska formen hos nedanstående satser.
a)
David Hume var fet och filosof.
(1p)
b)
Om Kant hade rätt så är det moraliskt fel att sälja sitt hår.
(1p)
c)
Denna sats är inte en konjunktion.
(1p)
d)
Logik är svårt men användbart.
(1p)
4. Återge följande sats på ledig svenska: x(y Älskar(x,y)z Älskar(z,x))
(3p)
5. Återge följande sats med hjälp av de predikatlogiska symbolerna samt predikatet
Älskar(x,y): Ingen älskar den som inte älskar någon.
(4p)
6. Avgör med hjälp av trädmetoden huruvida predikatlogisk följd gäller i nedanstående fall.
a)
x(p(x)q(x)), x(p(x)q(x))  xq(x)
(4p)
b)
x((p(x)q(x))p(x)), x(p(x)r(x))  x(q(x)r(x))
(4p)
7. Avgör huruvida nedanstående argument är predikatlogiskt giltigt genom att återge den
predikatlogiska formen hos argumentet och därefter använda trädmetoden. Tillämpa
förslagsvis predikaten Djur(x), Har fri vilja(x),
Har förmågan att rationellt överväga sina handlingar(x).
Förkorta dem till D(x), F(x), R(x).
Alla som har fri vilja har förmågan att rationellt överväga sina handlingar.
Djur har inte förmågan att rationellt överväga sina handlingar.
Alltså har inte djur fri vilja.
Lycka till!
Lärare: Karl Karlander, Sama Agahi, Emma Wallin och Jonas Åkerman
(6p)