Instrukcja wpisywania formuł logicznych
- Zmienne logiczne wpisujemy jako:
. - Negację wpisujemy jako ~
- Alternatywywpisujemy jako || , albo: … OR … (czyli: ZMIENNA_SPACJA_OR_SPACJA_ZMIENNA)
- Koniunkcjęwpisujemy jako &&, albo: … AND … (czyli: ZMIENNA_SPACJA_AND_SPACJA_ZMIENNA)
- Implikację wpisujemy jako => (czyli znak '=’ i ’>’ koło siebie)
- Równoważnośćwpisujemy jako <=> (czyli znak '<’ + '=’ + ’>’)
- Trzeba pamiętać o właściwym ułożeniu nawiasów!
.
wpisujemy jako || , albo: … OR … (czyli: ZMIENNA_SPACJA_OR_SPACJA_ZMIENNA)
wpisujemy jako &&, albo: … AND … (czyli: ZMIENNA_SPACJA_AND_SPACJA_ZMIENNA)
wpisujemy jako => (czyli znak '=’ i ’>’ koło siebie)
wpisujemy jako <=> (czyli znak '<’ + '=’ + ’>’)Interpretacja wyników
Odpowiedź True oznacza, że wprowadzona formuła jest tautologią.
Odpowiedź False oznacza, że wprowadzona formuła nie jest tautologią.
Przykład 1
Sprawdź, czy implikacja zwana „wprowadzeniem alternatywy”: 
jest tautologią.
Wpisuję do kalkulatora: 'p=>(p||q)’. Otrzymuję wynik:
Odp. „Wprowadzenie alternatywy” jest tautologią.
Przykład 2
Sprawdź, czy zdanie: 
jest tautologią.
Wprowadzam do kalkulatora: '(q=>p)<=>(p&&q)’:
Odp. Zdanie nie jest tautologią.
Przykład 3
Czy zdanie: 
(„prawo dylematu destrukcyjnego”) jest tautologią?
Wpisuję: '[(p=>q)&&(r=>s)]=>[(~q||~s)=>(~p||~r)]’:
Dostaję błąd źle wprowadzonej formuły.
Poprawiam sposób zapisu zdania na: '[(p=>q) AND (r=>s)]=>[(~q OR ~s)=>(~p OR ~r)]’ (uwaga na spacje w odpowiednich miejscach!):
Odp. Zdanie jest tautologią.
