Tzw. tabelki zero-jedynkowe to narzędzie, którym każdy logik musi umieć sprawnie się posługiwać. Pozwalają one „obliczać”, czy zdania złożone utworzone za...
Kurs logiki formalnej
Klasyczny rachunek zdań, podobnie jak sylogistyka, dostarcza narzędzi do sprawdzania poprawności wnioskowań. Na jego gruncie można jednak badać rozumowania...
Sylogizm jest poprawny, gdy jego schemat należy do grona tak zwanych niezawodnych trybów sylogistycznych. To, czy tryb jest niezawodny, można badać, próbując...
Sylogistyka to najstarszy i jednocześnie najprostszy system logiki formalnej. Na jej przykładzie można prosto (no dobrze, w miarę prosto…) pokazać, w jaki...
Pytaj o numer w salonach Empiku!
Wynikanie to relacja z punktu widzenia logiki niezwykle istotna. Aby lepiej ją zrozumieć, warto zapoznać się z jej własnościami. Dobrze też wiedzieć, czym jest...
Najchętniej oglądane
Sklep
Polecamy
