Korzystając z 80 wiemy, że {⇒, ⊥} jest zupełne, a nasz zbiór {⊕, Τ} jest to: ⊕ ≡ ~ ⇒ oraz Τ ≡ ~⊥ Czyli zostaje pokazać nam, że ~ da sie przedstawić za pomocą tych spójników. ~p ≡ p ∧ ⊥ ≡ p ∧ ~ Τ ≡ p ⊕ Τ
Tak.
~p ≡ p ∧ ⊥
czy aby na pewno?
dla wartościowania p równego 0: ~p ma wartość 1 p ∧ ⊥ ma wartość 0
IMO powinno być ~p ≡ ~(Τ⇒p) ≡ T ∧ ~p ≡ T⊕p Dobrze myślę?
Dyskusja
Tak.
~p ≡ p ∧ ⊥
czy aby na pewno?
dla wartościowania p równego 0: ~p ma wartość 1 p ∧ ⊥ ma wartość 0
IMO powinno być ~p ≡ ~(Τ⇒p) ≡ T ∧ ~p ≡ T⊕p Dobrze myślę?