*Saavutasin selle nädala praktikumide eesmärgid (tunnen ära lausearvutuse lause ja määran selle tõeväärtuse,  oskan  eitada üldisuse ja olemasolu kvantoreid sisaldavaid lauseid, tean lausearvutuse tehteid ja kasutan neid liitlausete kirjapanemisel sümbolkujul).