Övning 8

1. Härled satsen p(c) ur satserna x(p(c) q(x) r(x)) och r(c)
2. Antag satserna "Alla filosofer är människor" och "Det finns filosofer som är logiker". Härled satsen "Någon människa är logiker".
3. Härled satsen q(a,c) ur premisserna x(q(x,c) q(x,b)), x(q(x,b) p(x)), p(a)
4. Härled satsen "Något däggdjur föder inte levande ungar" ur premisserna "Alla däggdjur som föder levande ungar saknar näbb" och "Något däggdjur saknar inte näbb".
5. Låt F stå för mängden av filosofer, L för mängden av logiker och M mängden av matematiker. Uttryck med hjälp av mängderna F, L och M satsen "Alla logiker som inte är filosofer är matematiker".

Studiematerial
Kursens startsida