Zupełność/niezupełność zbioru spójników logicznych

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
bh
Użytkownik
Użytkownik
Posty: 6
Rejestracja: 15 paź 2007, o 12:16
Płeć: Mężczyzna
Lokalizacja: /dev/null

Zupełność/niezupełność zbioru spójników logicznych

Post autor: bh » 15 paź 2007, o 12:40

Witam,

Mam kilka zadań, w których należy wykazać, że podany zbiór spójników logicznych jest zupełny lub niezupełny (i jedno zadanie na 1-zupełność). Nie wiem za bardzo jak się za nie zabrać, czy wystarczy znaleźć przykład formuły logicznej, którą nie da się przedstawić przy pomocy spójników podanych w zbiorze? Bardzo bym prosił o rozwiązanie kilku przykładów.

Pokaż, że zbiór spójników logicznych \(\displaystyle{ \{ , \}}\) nie jest zupełny.
Pokaż, że zbiór spójników logicznych \(\displaystyle{ \{ \iff, \bot\}}\) nie jest zupełny oraz że jest 1-zupełny.

Zadania są ze skryptu do logiki dla politechniki.

Jeszcze raz proszę o pomoc.
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

ODPOWIEDZ