Genomgång av enkla satslogiska begrepp och vissa delar av predikatlogiken