Masz pytania? Zadzwoń: (12) 400 46 75 lub napisz.

Sprawdź czy zdanie jest prawem logicznym. (p<=>q) <=> [(p=>q)^(q=>p)]

Zadanie 396 (rozwiązane)

Pakiet matura 2020 Kurs i poradniki 50% taniej

Nie przegap okazji! Testuj kurs przez 14 dni bez żadnego ryzyka. Dowiedz się więcej
Zadanie dodane przez 123ap , 06.11.2011 19:43
Default avatar
Sprawdź czy zdanie jest prawem logicznym.

(p<=>q) <=> [(p=>q)^(q=>p)]

Nadesłane rozwiązania ( 1 )

Rozwiązanie 1 dodane przez Science4U , 10.11.2011 06:03
Science4u 20110912181541 thumb

Można to sprawdzić np. metodą "zero-jedynkową":

<br>\begin{array}{ccccccc}
<br>p&q&p\Leftrightarrow q&p\Rightarrow q&q\Rightarrow p&(p\Rightarrow q)\wedge (q\Rightarrow p)&\textrm{całość}\\
<br>0&0&1&1&1&1&1\\
<br>0&1&0&1&0&0&1\\
<br>1&0&0&0&1&0&1\\
<br>1&1&1&1&1&1&1\\
<br>\end{array}
<br>

Ponieważ ostatnia kolumna zawiera same jedynki, to jest to dowód na to, że to prawo logiczne.
Musisz się zalogować aby dodać komentarz

Znasz inny sposób na rozwiązanie tego zadania?

Dodaj swoje rozwiązanie

Dodaj swoje rozwiązanie:

Zabronione jest kopiowanie wszelkich treści!
Musisz się zalogować aby dodać rozwiazanie do zadania.
Strona korzysta z plików cookie w celu realizacji usług zgodnie z Polityką Prywatności. Możesz określić warunki przechowywania lub dostępu do cookie w twojej przeglądarce lub konfiguracji usługi.