Hľadať zamestnanie pre fulltextom
Formula alebo logická formula je ľubovoľný konečný rad (postupnosť) základných (primitívnych) symbolov formalizovaného jazyka (výrokovej, predikátovej) logiky. Formula je tu reprezentáciou súvislostí, vzťahov, ktoré existujú medzi predmetmi (javmi, procesmi) pomocou znakov (symbolov), spojených určitými operáciami. V kalkuloch matematickej logiky sa pojem formuly v každom kalkule definuje obyčajne induktívne.
čítajte viac o Formula (logika)
Encyklopédia: ROBOTA.SK > Matematika > Logika >
Príbuzné výrazy:
Logika
A (tradičná logika)
A = A
Abdukcia (filozofia)
Abstrahovať
Abstraktná totožnosť
Absurdita
Afirmatívny
Afirmatívny súd
Alebo
Aletická logika
Alogický
Alogizmus
Americká logika
Analogický
Analogizmus
Analytickosť
Analytická veta
Analytický súd
Analyzandum
Analógia (logika)
Analýza (rozbor)
Antická logika
Antilogizmus
Antinómia
Antitetika
Argument (logika)
Argument funktoru
Aristotelovská logika
Asertorický súd
Axióma sylogizmu
Bezprostredný úsudok
Binárna opozícia
Calculus ratiotinator
Claviov zákon
Consensus omnium
De Morganove zákony
Deduktívna metóda
Deduktívna teória
Deduktívne myslenie
Definiendum
Definiens
Definovanie
Definícia v kruhu
Deskriptívny súd
Dialektická logika
Dialela
Dictum de omni et de nullo
Dilema
Dilematický
Disjunkcia (výroková spojka)
Disjunktné pojmy
Dokazovací prostriedok
Dokazovanie (logika)
Domnienka
Dosadenie (logika)
Dostatočné zdôvodnenie
Dvojhodnotová logika
Dôkaz (logika)
Dôkaz sporom
Dôkaz v kruhu
Dôsledok
Dôvod
Ekvivalencia (filozofia)
Ekvivalencia (logika)
Ekvivalentnosť výrokov
Ekvivalentná transformácia formúl
Elementárna logika
Elementárny
Elementárny výrok
Entyméma
Epicheiréma
Episylogizmus
Erotetická logika
Existenčný kvantifikátor
Fakt
Faktová pravda
Faktová pravdivosť
Figúra sylogizmu
Formalizácia výrazu
Formula (logika)
Formálna logika
Formálny systém
Funktor nutnosti
Gödelova veta
Hypoteticko-deduktívna teória
Hypotetický výrok
Ignoratio elenchi
Implicitná definícia
Implikácia
Individuová premenná
Indivíduová konštanta
Induktívna logika
Induktívne myslenie
Intenzionálny
Interpretácia (logická sémantika)
Interrogatívna logika
Jazyk logiky
Jazyk výrokovej logiky
Jazykovo-logická forma
Jazykový výraz (logika)
Jednoduchý výrok
Jota-operátor
Kalkul (logika)
Kategorický sylogizmus
Kategorický úsudok
Klasická logika
Klasická výroková logika
Kognitívna selektivita
Kombinatorická logika
Konjunkcia (logika)
Kontradikcia
Konštanta výrokovej logiky
Konštruktivistická logika
Konštruktívna metóda
Kvantifikátor (logika)
Logicizmus (filozofia)
Logická chyba
Logická dedukcia
Logická forma
Logická konštanta
Logická možnosť
Logická operácia
Logická pravda
Logická pravdivosť
Logická propedeutika
Logická semióza
Logická správnosť
Logická sémantika
Logická súvislosť
Logická teória typov
Logické
Logické myslenie
Logické pravidlo
Logické protirečenie
Logické vyplývanie
Logický
Logický atomizmus
Logický dôsledok
Logický kalkul
Logický klam
Logický paradox
Logický priestor
Logický princíp
Logický stav
Logický systém
Logický súd
Logický vzťah
Logický výraz
Logický význam
Logický znak
Logický štvorec
Logika a veda
Logika existencie
Logika tried
Logika vedy
Logocentrizmus
Meno (logika)
Meno (matematická logika)
Metalogika
Množina
Modalita (logika)
Model (logická sémantika)
Modus ponens
Modus tollens
Negácia (logika)
Neklasická logika
Neprotirečivosť
Neprotirečivosť axiomatickej teórie
Nevyhnutná podmienka
Nižšia premisa
Nižší termín
Non-ekvivalencia
Nota notae est nota rei ipsius
Názov (logika)
Objektový jazyk
Obkjektívna logika
Oblasť úvahy
Odvodzovacie pravidlo
Odvodzovanie (logika)
Odôvodnenie
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.