Strona 1 z 1

Wykaż, że zbiór spójników jest zupełny

: 24 paź 2017, o 14:04
autor: SnowBird
Dzień dobry, mam takie zadanie:
Wykaż, że \(\displaystyle{ \left\{ \wedge , \neg \right\}}\) jest zupełny.
I jestem ciekaw czy takie rozwiązanie można nazwać poprawnym:
Skoro \(\displaystyle{ p \vee q \Leftrightarrow \neg ( \neg (p \vee q)) \Leftrightarrow \neg ( \neg p \wedge \neg q)}\) oraz \(\displaystyle{ \left\{ \wedge , \vee , \neg \right\}}\) jest zbiorem zupełnym to również \(\displaystyle{ \left\{ \wedge , \neg \right\}}\) jest zupełny.

Będę wdzięczny za potwierdzenie, bądź zaprzeczenie.
Pozdrawiam.

Re: Wykaż, że zbiór spójników jest zupełny

: 26 paź 2017, o 01:41
autor: Jakub Gurak
Poprawnie.