zbiory zupełne

[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??

[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).