No wynika, tylko że z tego wynikania nic nie wynika.Rozbitek pisze:\(\displaystyle{ x \in A \cup B \Rightarrow x \in A \vee x \in B}\) , wynika z tego (korzystając z definicji alternatywy), że
Wybacz dosadność i nie potraktuj tego osobiście, ale to rozumowanie powyżej jest analogiczne z poniższym:Rozbitek pisze:\(\displaystyle{ (x \in A \vee x \in B) \vee (x \in A \vee x \notin B)}\) w szczególności: \(\displaystyle{ (x \in A \vee x \notin B)}\)
"Jesteś mądry lub głupi, w szczególności jesteś głupi".
Jak widzisz, takie wnioskowanie jest niepoprawne. Poprawne byłoby takie wnioskowanie:
"Jesteś mądry i piękny, w szczególności jesteś mądry".
JK