Inledning till logik

Teoretisk filosofi I, Inledning till logik, 7.5 hp, tentamen 19/11 2011.
1. Avgör med hjälp av sanningstabell huruvida följande sats är en tautologi, en motsägelse
eller kontingent: (pq)(pq).
(4p)
2. Avgör med hjälp av trädmetoden huruvida satslogisk följd gäller i nedanstående fall.
a)
(pq)(pq)  pq
(2p)
b)
p(qr)  (pq)r
(2p)
c)
p(pq)  pq
(2p)
3. Ange den satslogiska formen hos nedanstående satser.
a) Godheten är sin egen belöning.
(1p)
b) Emma, Eric och Henning är seminarieledare på den här kursen.
(1p)
c) Om Gud inte finns så är allt tillåtet.
(1p)
d) Varken Tolstoj eller Ibsen fick Nobelpriset.
(1p)
4. Återge följande sats på ledig svenska: x(Vän till (x,Hans)Vän till(x,Greta))
(3p)
5. Återge följande sats med hjälp av de predikatlogiska symbolerna, predikatet från
föregående uppgift, samt namnet Hans: Ingen av Hans vänner är vänner med varandra
(4p)
6. Avgör med hjälp av trädmetoden huruvida predikatlogisk följd gäller i nedanstående fall.
a)
xp(x)xq(x), x(p(x)q(x))  xq(x)
(4p)
b)
x(p(x)q(x)), xq(x)  xp(x)
(4p)
Nedanstående fråga måste besvaras fullgott för betyg A. För lägre betyg är den irrelevant:
7. Visa att alla satser som kan bildas med enbart p, paranteser, samt  antingen är tautologier
eller satslogiskt ekvivalenta med p. [Exempel på sådana satser: pp, (pp)p, p(pp)
o.s.v.]
Lycka till!
Lärare: Karl Karlander, Eric Johanneson, Emma Wallin och Henning Strandin.