Klasyczny rachunek zdań, podobnie jak sylogistyka, dostarcza narzędzi do sprawdzania poprawności wnioskowań. Na jego gruncie można jednak badać rozumowania...
Kurs logiki formalnej
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...
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...