Dane są formuły α oraz β. Wiemy, że alternatywa i dysjunkcja zbudowane z tych dw Tomek: Dane są formuły α oraz β. Wiemy, że alternatywa i dysjunkcja zbudowane z tych dwóch formuł są prawdziwe. Które z podanych poniżej sformułowań jest wówczas poprawne? Symbol ↓ oznacza binegację, a symbol | oznacza dysjunkcję (funktor Sheffera). odp: Formuła ∼( α ↓ β ) ⇒ (α ∧ β) jest fałszywa. Czy ta odpowiedz jest prawdziwa?

chichi: zacznij od defincji binegacji. logika dla studentów, po co ci to?