Klassikaline loogika

Klassikaline loogika (inglise classical logic), ka standardloogika (inglise standard logic), on matemaatilise loogika osa, mis koosneb klassikalisest lauseloogikast ja predikaatloogikast.

Kasuta AI-d

Sisukord

1. 5 suhted: Koolibri (kirjastus), Lauseloogika, Matemaatiline loogika, Mitteklassikaline loogika, Predikaatloogika.

2. Loogika

Koolibri (kirjastus)

Lehola tänava nurgal Koolibri on Eesti kirjastus, mis annab välja eelkõige õppekirjandust, kuid ka sõnaraamatuid, aime-, laste- ja ilukirjandust.

Vaata Klassikaline loogika ja Koolibri (kirjastus)

Lauseloogika

Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega (loogikatehteid).

Vaata Klassikaline loogika ja Lauseloogika

Matemaatiline loogika

Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.

Vaata Klassikaline loogika ja Matemaatiline loogika

Mitteklassikaline loogika

Mitteklassikaline loogika (inglise non-classical logic), ka alternatiivloogika (inglise alternative logic), on matemaatilise loogika osa, mille moodustavad 19.

Vaata Klassikaline loogika ja Mitteklassikaline loogika

Predikaatloogika

Predikaatloogika ehk predikaatarvutus on lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel vähemalt predikaadisümbolid, indiviidikonstandid, muutujad (indiviidimuutujad) ja kvantorid.

Vaata Klassikaline loogika ja Predikaatloogika

Vaata ka

Loogika

• Apofaasia
• Deduktsioon
• Dihhotoomia
• Ekstensionaalne kontekst
• Ekstensionalism
• Erinevus
• Induktsioon
• Järeldus (traditsiooniline loogika)
• Klassikaline loogika
• Kvantifikatsioon (loogika)
• Loogika
• Loogiline programmeerimine
• Loomulik liik
• Matemaatiline loogika
• Modaalne loogika
• Ontoloogiline sidumus
• Ostensiivne definitsioon
• Pragmatismi tõeteooria
• Traditsiooniline loogika
• Vaišešika

Tuntud ka kui Standardloogika.

Unioonpeedia on mõiste kaardi või semantiline võrgustik, korraldati nagu entsüklopeedia - sõnastik. See annab lühikese definitsiooni iga mõiste ja selle suhteid.

See on suur-line mõttekaarti mis toimib aluse kontseptsiooni diagrammid. See on tasuta kasutada ja iga artikli või dokumendi saab alla laadida. See on vahend, ressurss või viide õppe-, teadus-, haridus-, teadus- või õppetöö, mida saab kasutada õpetajad, kasvatajad, õpilaste või üliõpilaste; akadeemilise maailma: koolis, alg-, kesk-, keskkooli, keskmine tehniline tase, kolledži, ülikooli bakalaureuse-, magistri- või doktorikraadi; paberid, aruanded, projektid, ideed, dokumentatsiooni, uuringute kokkuvõtted või väitekirja. Siin on mõiste, seletus, kirjeldus, või mõtet iga olulise kohta, mis teil on vaja andmeid, ning loetelu nendega seotud mõisted nagu sõnastik. Saadaval Eesti, Inglise, Hispaania, Portugali, Jaapani, Hiina, Prantsuse, Saksa, Itaalia, Poola, Hollandi, Vene, Araabia, Hindi, Rootsi, Ukraina, Ungari, Katalaani, Tšehhi, Heebrea, Taani, Soome, Indoneesia, Norra, Rumeenia, Türgi, Vietnamese, Korea, Tai, Kreeka, Bulgaaria, Horvaatia, Slovakkia, Leedu, Filipino, Läti ja Sloveenia Varsti rohkem keeli.

Teave põhineb Vikipeedia artiklitel ja muudel Wikimedia projektidel ning on saadaval Creative Commonsi Attribution-ShareAlike litsentsi alusel.

Unioonpeedia ei ole Wikimedia Foundationi poolt heaks kiidetud ega sellega seotud.

Google Play, Android ja Google Play logo on ettevõtte Google Inc. kaubamärgid.

Privaatsuspoliitika