UUS kiire ja vahendustasuta krüptoraha NANO Teeni tasuta NANO Sulge
Facebook Like
Add link

"relduvus" - 1 õppematerjal

348
pdf

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...

Õigus - Sotsiaal-Humanitaarinstituut
26 allalaadimist


Registreeri ja saadame uutele kasutajatele
faili e-mailile TASUTA

Konto olemas? Logi sisse

Faili allalaadimiseks, pead sisse logima
või
Kasutajanimi / Email
Parool

Unustasid parooli? | Tee tasuta konto

Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun