ĆWICZ Z NAJLEPSZYMI
Logika
SPÓJNIKI LOGICZNE
rozwiązanie
KONIUKCJA jest prawdziwa tylko wtedy, gdy oba zdania są prawdziwe. W reszcie przypadków jest fałszywa
Oznaczamy jako $$\wedge$$
Tabela zero- jedynkowa: $$\begin{array}{ccc}p&q&p\wedge q\\0&0&0\\0&1&0\\1&0&0\\1&1&1\end{array}$$
KONIUKCJA
rozwiązanie
ALTERNATYWA jest prawdziwa tylko wtedy, gdy przynajmniej jedno z zdań jest prawdziwe.
Oznaczamy jako $$\vee$$
Tabela zero- jedynkowa:$$\begin{array}{ccc}p&q&p\vee q\\0&0&0\\0&1&1\\1&0&1\\1&1&1\end{array}$$
ALTERNATYWA
rozwiązanie
NEGACJA jeśli zdanie jest prawdziwe to negacja jest fałszywa i odwrotnie.
Oznaczamy jako $$\sim$$
Tabela zero- jedynkowa:$$\begin{array}{cc}p&\sim p\\0&1\\1&0\end{array}$$ $$\begin{array}{cc}q&\sim q\\1&0\\0&1\end{array}$$
NEGACJA
rozwiązanie
IMPLIKACJA łaczy dwa zdania (warunek i zdanie konsekwencji). Jeśli warunek jest prawdziwy a zdanie konsekwencji fałszywe to implikacja jest fałszywa, w reszcie przypadków jest prawdziwa.
Oznaczamy jako $$\Rightarrow$$
Tabela zero- jedynkowa:$$\begin{array}{ccc}p&q&p\Rightarrow q\\0&0&1\\0&1&1\\1&0&0\\1&1&1\end{array}$$
IMPLIKACJA
rozwiązanie
RÓWNOWAŻNOŚĆ jest prawdziwa , gdy oba zdania są prawdziwe lub fałszywe.
Oznaczamy jako $$\Leftrightarrow$$
Tabela zero- jedynkowa:$$\begin{array}{ccc}p&q&p\Leftrightarrow q\\1&1&1\\0&1&0\\1&0&0\\0&0&0\end{array}$$