uute sümbolitega valemeid (nt p ⊕ q), kui need on õigesti koostatud valemite lühendid. A. Tarski (1902–1983) tegi vahet objektkeele (kui räägime nt maailmast) ja metakeele vahel (kui räägime nt lausetest maailma kohta), nt lause „Väljas on ilus ilm” väljendab objektkeele 13 lausena asjaolu, et väljas on tõepoolest ilus ilm; lause „„Väljas on ilus ilm” on jaatav lause” väljendab metakeele lausena asjaolu, et tegemist on jaatava lausega. Lausemuutuja on ihtlause (millel on kindla interpretatsiooni korral kindel tõeväärtus), lausearvutuse metamuutuja tähistab lausearvutuse lauseid. Selline vahetegemine pole alati hädavajalik. Lausearvutuse lausetest metakeeles rääkimisel läheb vaja metasümboleid. Nt ülalpool tehtud lausearvutuse tehete kokkuvõttes esines iga tehte juures lõik „… on tõene parajasti siis, kui …”. Kuigi see sarnaneb ekvivalentsitehtega, esineb seal siiski nn
(kui räägime nt lausetest maailma kohta), nt lause ,,Väljas on ilus ilm" väljendab objektkeele 13 lausena asjaolu, et väljas on tõepoolest ilus ilm; lause ,,,,Väljas on ilus ilm" on jaatav lause" väljendab metakeele lausena asjaolu, et tegemist on jaatava lausega. Lausemuutuja on ihtlause (millel on kindla interpretatsiooni korral kindel tõeväärtus), lausearvutuse metamuutuja tähistab lausearvutuse lauseid. Selline vahetegemine pole alati hädavajalik. Lausearvutuse lausetest metakeeles rääkimisel läheb vaja metasümboleid. Nt ülalpool tehtud lausearvutuse tehete kokkuvõttes esines iga tehte juures lõik ,,... on tõene parajasti siis, kui ...". Kuigi see sarnaneb ekvivalentsitehtega, esineb seal siiski nn
annaabi.ee 
