Logika Bartek: Podać zaprzeczenie zdania najpierw z użyciem ∼, a potem bez użycia ∼. Zdanie mam takie: x>b⇒x>a Pod koniec wyszło mi a ≤ x ≤ b. Oni podają w odpowiedzi: b < x ≤ a. I teraz kto się walnął: Oni czy ja?

Aga1: Ty ¬(p⇒q)⇔(p⋀¬q) x>b⋀x≤a⇔ b<x≤a

Bartek: Kurcze blade, wiedziałem, że coś nie tak z tym ⇒. A tak korzystając z okazji, znacie jakiś link do tych własności? Bo tu na piszu w dziale logika są różne prawa, ale właśnie tych własności się nie mogę do szukać.

Bartek: Przepraszam, sory, już spojrzałem, już wiem. Ale i tak mam pytanie czy tych praw jest więcej? Bo tu na piszu to pewnie są tylko te podstawowe.