Jeśli jesteś właścicielem tej strony, możesz wyłączyć reklamę poniżej zmieniając pakiet na PRO lub VIP w panelu naszego hostingu już od 4zł!
NIE uzywamy znaku sekwentu ( |-- )
Nawiasy Uzywamy tylko do pokazania gdzie jest funkcja
(a<->b) równawaznosc
(a->b) implikacja
(a*b) koniunkcja
(a+b) alternatuwa
(/a) negacja

Przykłady:
sekwent
węzłyTak Nie
tautologiaTak Nie
duplikatyTak Nie
prasowanieTak Nie
helpTak Nie