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 całkowicie automatyczny – pracę tę mógłby wykonywać za nas odpowiednio zaprogramowany prosty komputer.
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...
Wydawcą czasopisma jest Kliknij, aby pobrać plik pdf numeru 3(45)/2022: Zachęcamy do lektury! Czy WIESZ, ŻE… najnowszy numer można kupić także...
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...
„Weredyk, moi państwo, dziwna to poczwarka:/ Jest w nim coś z osy, jeża, pawia i papugi,/ Jego głos zawsze cichy a języczek długi;/ Namiętnie śpiewa prawdę...
