tazko takto. vsetko bolo. z kazdeho rozku trosku. velka kopa teorie a velka kopa prikladov. anita vravela, ze su len tie priklady, co boli na cvikach. ja som mal:
teoria: semantika vyrokovej logiky
priklad: v intuicionistickej logike dokazat naturalnou dedukciou, ze: fi->not(not(fi))