A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Logický kalkul je kalkul, ktorého zložky sa prostredníctvom nejakej interpretácie logicky vykladajú. Takáto interpretácia spočíva v tom, že určité znaky kalkulu sa vykladajú ako logické konštanty, iné ako individuové premenné a predikátové premenné alebo ako výrokové premenné, či premenné pravdivostných hodnôt, a určité postupnosti znakov kalkulu ako logické výrazy alebo výroky atď.
Ak sú oblasti logiky ako výroková logika, predikátová logika prvého stupňa atď. tak exaktne budované, že spĺňajú podmienky kladené na nejaký kalkul, tak hovoríme o výrokovom kalkule, predikátovom kalkule prvého stupňa atď. Výstavba logických odborov vo forme kalkulov je nevyhnutne potrebná pre skúmanie ich základov (napr. s ohľadom na logickú nezávislosť, logickú úplnosť alebo logickú bezrozpornosť).
Externé odkazy
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
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.
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
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.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk