logika Maciess: Sprawdzenie p="Ala je" q="As wyje" Ala je pod warunkiem, że As wyje q⇒p Ani Ala nie je, ani As nie wyje ¬p∧¬q Ala je, chyba ze As wyje ¬q⇒p As nie wyje, zaś Ala nie je. (tu nie wiem jakiego spójnika użyć)

ite: As nie wyje, zaś Ala nie je. moim zdaniem znaczy: As nie wyje i Ala nie je. ← czyli opisuje te samą sytuację co drugie zdanie Trzecie można też zapisać q⇒¬p Te implikacje są równoważne.

Maciess: Dziękuje.