Strona 1 z 1

zbiory zupełne

: 2 sty 2010, o 17:57
autor: Kardana
Jak sprawdzić czy to jest zbiór zupełny??
\(\displaystyle{ \{ \sim ,\leftrightarrow\}}\)
Chodzi mi o to jak to zrobić w praktyce tzn. jak dowieść , że za pomocą tych spójników nie wygeneruje pozostałych spójników??

zbiory zupełne

: 2 sty 2010, o 18:12
autor: Zordon
Rozważ formuły z dwoma zmiennymi: \(\displaystyle{ p,q}\). Za pomocą tych spójników nie da się wyrazić formuły, która jest prawdziwa dla nieparzystej liczby wartościowań. Dowód przez indukcję względem złożoności formuły (bądź liczby spójników logicznych).