Mając następujące założenia:
\(\displaystyle{ A\rightarrow B, (B\vee Y)\rightarrow (L\wedge N), (B\wedge N)\rightarrow A,\\ (B\vee\neg Y)\rightarrow A, (B\vee Y)\rightarrow N, (B\wedge\neg N)\rightarrow A}\)
udowodnij lub wykaż, że nie są wnioskami:
\(\displaystyle{ A\leftrightarrow B, B\rightarrow\neg N, (Y\leftrightarrow A), L\wedge N}\)
Proszę o pomoc.