.. siis ja ainult siis, kui ...): lause p↔q on tõene parajasti siis, kui p ja q tõeväärtused langevad kokku”] ilmneb üsna selgesti, miks on mõnikord vaja vahet teha keele metakeele ning sümbolite ja metasümbolite vahel. Esimene „... siis ja ainult siis, kui ... ” väljendab antud juhul ekvivalentsitehet lausearvutuses. Teine, natuke teisiti sõnastatud ekvivalents „ … parajasti siis, kui …” väljendab antud juhul vastastikust järelduvust metakeeles.1 Lisaks metamuutujatele läheb lausearvutuses tarvis veel järgmisi metasümboleid: • võrduse sümbol: = (metamuutujate korral tähendab võrdus seda, et mõlemal poolel on sama lause); • samasuse sümbol: ≡ (samaväärsus kehtib metamuutujate kõikide väärtuste korral); • lausete vastastikuse loogilise järeldumise ehk metakeelse seose „parajasti siis, kui …” märk: ⇔; • sümbol, millega tähistatakse ühe lause loogilist järeldumist teisest lausest (formaalset
.. siis ja ainult siis, kui ...): lause p q on tõene parajasti siis, kui p ja q tõeväärtused langevad kokku"] ilmneb üsna selgesti, miks on mõnikord vaja vahet teha keele metakeele ning sümbolite ja metasümbolite vahel. Esimene ,,... siis ja ainult siis, kui ... " väljendab antud juhul ekvivalentsitehet lausearvutuses. Teine, natuke teisiti sõnastatud ekvivalents ,, ... parajasti siis, kui ..." väljendab antud juhul vastastikust järelduvust metakeeles.1 Lisaks metamuutujatele läheb lausearvutuses tarvis veel järgmisi metasümboleid: · võrduse sümbol: = (metamuutujate korral tähendab võrdus seda, et mõlemal poolel on sama lause); · samasuse sümbol: (samaväärsus kehtib metamuutujate kõikide väärtuste korral); · lausete vastastikuse loogilise järeldumise ehk metakeelse seose ,,parajasti siis, kui ..." märk: ; · sümbol, millega tähistatakse ühe lause loogilist järeldumist teisest lausest (formaalset
annaabi.ee 
