LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
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
metaekvivalents ning seda tähistatakse kahesuunalise topeltnoolega ⇔. Tegemist on
metakeelse seosega, mis väljendab loogilist järelduvust (formaalset implikatsiooni) mõlemas
suunas. Ekvivalentsi selgitavas punktis [tsiteerime: „ekvivalents, tähistatakse märgiga ↔ (...
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 ekvivalen...