Metoda zero-jedynkowa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Metoda zero-jedynkowa- metoda służąca do sprawdzania czy wyrażenie Klasycznego Rachunku Zdań (KRZ) jest tautologią, czyli prawem tego rachunku. [1] Jest to metoda ogólna, tj. stosowalna do dowolnej formuły KRZ. Używanie tej metody w odmianie pełnej wymaga sprawdzenia wartości końcowej dla każdego wartościowania danej formuły. W użyciu skróconej metody zero-jedynkowej sprawdza się tylko te układy wartości, dla których wyrażenie może uzyskać wartość 0 (zdanie fałszywe).

Spójniki logiczne
p q ~p pΛq pνq p=>q p<=>q p↓q
0 0 1 0 0 1 1 1
0 1 1 0 1 1 0 0
1 0 0 0 1 0 0 0
1 1 0 1 1 1 1 0

Zobacz też[edytuj | edytuj kod]

Przypisy

  1. Adam Jonkisz, "Logika ogólna" Bielsko-Biała: Wydaw. Akademii Techniczno-Humanistycznej, 2003

Linki zewnętrzne[edytuj | edytuj kod]