Oferowane przez logikę formalną podejście do badania wnioskowań ma swoje plusy i minusy. Te ostatnie sprawiają, że logika jest czasem uznawana za dziedzinę...
Kurs logiki formalnej
Wśród formuł rachunku zdań można znaleźć takie, które mają ciekawą właściwość – każde oparte na nich zdanie jest prawdziwe. Z formułami takimi związane są tzw...
Korzystając z narzędzi KRZ, jesteśmy w stanie badać, czy pomiędzy zdaniami zachodzi relacja wynikania logicznego. Jak zobaczymy, można to robić w sposób...
Gdy znamy wartości logiczne zdań prostych wchodzących w skład zdania złożonego utworzonego przy pomocy spójników logicznych, to dzięki tabelkom zero-jedynkowym...