Loogika mõisteid

Allikas: Vikipeedia

Siin on loetletud loogika mõisteid.


# A B C D E F G H I J K L M N O P Q R S Š Z Ž T U V W Õ Ä Ö Ü X Y



A[muuda | muuda lähteteksti]

A posse ad esse non valet consequentia - Ab esse ad posse valet, a posse ad esse non valet consequentia - Ab absurdo - Abduktsioon - Absurdsus - Aleetilised modaalsused - Algmõiste - Analüütiline otsustus - Analüütiline propositsioon - Argumentum ad hominem - Argumentum ad verecundiam - Arutlus - Arutlusviga

C[muuda | muuda lähteteksti]

Circulus vitiosus - Curry-Howardi vastavus

D[muuda | muuda lähteteksti]

Deduktiivne arutlus - Deduktsioon - Deontiline loogika - Dihhotoomia - Disjunktsioon

E[muuda | muuda lähteteksti]

Eeldus - Eksemplar - Eksemplar-lause - Eristamatud

F[muuda | muuda lähteteksti]

Filosoofiline loogika - Füüsiline paratamatus - Füüsiline võimalikkus - Füüsiline võimatus

H[muuda | muuda lähteteksti]

Habemeajaja paradoks - Hägusloogika

I[muuda | muuda lähteteksti]

Idem per idem - Ignoratio elenchi - Implikatsioon - Induktiivne arutlus - Induktiivne loogika - Induktiivne tugevus - Induktsioon - Insolubiilid - Intuitsionistlik loogika

J[muuda | muuda lähteteksti]

Ja - Järeldamine - Järeldus - Järeldus (traditsiooniline loogika)

K[muuda | muuda lähteteksti]

Kahevalentne loogika - Kasutamine ja mainimine - Keel - Kehtestatav valem - Kehtetu arutlus - Kehtetus - Kehtiv arutlus - Kehtivus - Kesktermin - Klassikaline loogika - Kogum - Kolmevalentne loogika - Kompaktsusteoreem - Konjunktsioon - Konnektor - Kontradiktoorsus - Konnotatsioon - Kontingentne propositsioon - Kontingentsus - Koopula - Kvantifikatsioon - Kvantor

L[muuda | muuda lähteteksti]

Lambdaarvutus - Lause - Lausung - Liigierisus - Logitsism - Logos - Loogik - Loogikatehe - Loogiline paratamatus - Loogiline võimalikkus - Loogiline võimatus

M[muuda | muuda lähteteksti]

Mainimine - Maskiga mehe eksitus - Metakeel - Metateooria - Mitmevalentne loogika - Modaalne loogika - Modus ponens - Mudel - Mõtestatud lause

O[muuda | muuda lähteteksti]

Olemasolukvantor - Osaeitav otsustus - Osajaatav otsustus - Otsustus

P[muuda | muuda lähteteksti]

Piisav tingimus - Piisav ja tarvilik tingimus - Porphyriose puu - Predikaat - Predikaatloogika - Predikatsioon - Presupositsioon - Propositsioon - Põhjend - Püsipunktioperaator

R[muuda | muuda lähteteksti]

Russelli paradoks

S[muuda | muuda lähteteksti]

Siis ja ainult siis, kui - Sisu - Soo-liigisuhe - Soomõiste ja liigierisus - Subjekt - Sõna - Sõne - Süllogism - Süllogistika

T[muuda | muuda lähteteksti]

Tarvilik ja piisav tingimus - Tarvilik tingimus - Tautoloogia - "Teine analüütika" - Teooria - Termin - Tunnus - Tõepredikaat - Tõestus - Tõesus - Tõene - Tõeväärtus - Tõeväärtustabel - Tõeväärtustabeli meetod - Tüüp - Tüüp-lause - Tüüp-sõna

V[muuda | muuda lähteteksti]

Valesus - Valetaja lause - Valetaja paradoks - Vastuolulisus - Vastuväiteline tõestus - Venni diagramm - Välistatud kolmanda reegel - Välistav disjunktsioon - Väär - Väärus

Õ[muuda | muuda lähteteksti]

Õigsus

Ü[muuda | muuda lähteteksti]

Üksikmõiste - Üksiktermin - Üldeitav otsustus - Üldjaatav otsustus - Üldmõiste

Y[muuda | muuda lähteteksti]

Yablo paradoks