Truth Tables

Stoły do ​​prawdy logiki klasycznej i dla wielu systemów nieklasycznych

Jedynym celem tego programu jest generowanie i wyświetlanie, tabele prawdy.

Ta darmowa wersja obsługuje wszystkie typowe spójników logiki klasycznej, która jest negacja, koniunkcja, (włącznie) alternatywa, conditonal (materiał implikacja), a biconditional (równoważności materiału), a także stałe 1 i 0 oznaczające prawdę i fałsz, odpowiednio. Fajne jest to, że oprócz standardowej nieco nudnej notacji logiki, można użyć strumienia błyszczący wysadzanej, notacji Łukasiewicza polskiej też.

I nie kończy się tutaj. Jeśli są, zdroworozsądkowe rodzaj dół do ziemi osoby, znajdziesz to pocieszające, że domyślnie program wykorzystuje klasyczną, dwie cenione, logiki. Ale jeśli jesteś bardziej ryzykowny typ, nigdy nie zatrzymując się przedsiębiorstwa, będziesz zachwycony, aby dowiedzieć się, że tabele prawdy dla Androida wspiera szereg nieklasycznych, wielu cenionych systemów logiki, też. Nigdy nie należy wchodzić do rzeki dwa razy, i dwa negatywy nie złożyć potwierdzenie, że tak powiem!