Wtedy właściwie powinno się:
albo kwantyfikatory egzystencjalne podopisywać w odpowiednich miejscach i zauważyć rozłączność dziedzin ;)
albo odpowiedzieć „cokolwiek”, jako że przy domyślnych kwantyfikatorach ogólnych poprzednik tej implikacji jest fałszywy :)
Wtedy właściwie powinno się:
albo kwantyfikatory egzystencjalne podopisywać w odpowiednich miejscach i zauważyć rozłączność dziedzin ;)
albo odpowiedzieć „cokolwiek”, jako że przy domyślnych kwantyfikatorach ogólnych poprzednik tej implikacji jest fałszywy :)