,,väljas". Kokku on neli võimalust. Teist liiki tõesustabelites kirjutatakse ülemisse vasakusse nurka metamuutujad, mille väärtusteks on komponentlaused. Metamuutujatest moodustatakse tehete abil uus, metasümbolitest koosnev avaldis (erijuhul võib see olla ka esialgne lause). Metamuutujatest tehete abil moodustatud tulem kirjutatakse tõeväärtustabeli ülemisse paremasse nurka. Tulemi tõeväärtus on määratud metamuutujate konkreetsetele väärtustele vastavate komponentlausete tõeväärtustega. Tõeväärtustabeli vasaku poole alumistes ridades esitatakse meta-muutujate kõikvõimalikud tõeväärtused, kas tõene või väär. Tõeväärtustabeli parema poole alumistes ridades esitatakse tulemi (avaldise) tõeväärtused vastavalt metamuutujate tõeväärtustele. Kui uuritav avaldis sisaldab kaht metamuutujat, nt p ja q, siis on tabeli alumises pooles 4 rida, sest ühe metamuutuja
,,väljas". Kokku on neli võimalust. Teist liiki tõesustabelites kirjutatakse ülemisse vasakusse nurka metamuutujad, mille väärtusteks on komponentlaused. Metamuutujatest moodustatakse tehete abil uus, metasümbolitest koosnev avaldis (erijuhul võib see olla ka esialgne lause). Metamuutujatest tehete abil moodustatud tulem kirjutatakse tõeväärtustabeli ülemisse paremasse nurka. Tulemi tõeväärtus on määratud metamuutujate konkreetsetele väärtustele vastavate komponentlausete tõeväärtustega. Tõeväärtustabeli vasaku poole alumistes ridades esitatakse meta-muutujate kõikvõimalikud tõeväärtused, kas tõene või väär. Tõeväärtustabeli parema poole alumistes ridades esitatakse tulemi (avaldise) tõeväärtused vastavalt metamuutujate tõeväärtustele. Kui uuritav avaldis sisaldab kaht metamuutujat, nt p ja q, siis on tabeli alumises pooles 4 rida, sest ühe metamuutuja
annaabi.ee 
