I dag gikk vi gjennom ¡­

I dag gikk vi gjennom syntaks og begynte p? semantikk for f?rsteordens logikk, dvs Avigad til og med 5.2 og van Dalen til og med 2.4. Dette gj?res ferdig neste gang, og om vi rekker det begynner vi p? naturlig deduksjon. Les Avigad t.o.m. 6.1 og van Dalen t.o.m. 2.7.