logika susanna: Tworzenie kontrmodi: Pokaż, że z ∀_x(Fx ⇒ Gx) NIE WYNIKA ∀_x(Gx ⇒ Fx) Odp: D = {α}, Ext(F) = zbiór pusty, Ext(G) = {α} Mógłby mi ktoś wytłumaczyć o co chodzi w tej odpowiedz?