Logika. Zapisz zaprzeczenie schematu
Przemek: 1. Zapisz zaprzeczenie schematu: p → (¬p ∨ q)
Wydaje mi się, że będzie to tak: p ⋀ (p ∧ ¬q) − proszę o weryfikację
2. Sprawdź, czy alternatywa wykluczająca jest przemienna.
14 mar 20:52
Adamm: 1. ok, nawiasy możesz opuścić
14 mar 20:54
Przemek: Masz jakiś pomysł na drugie zadanie?
14 mar 20:59
Adamm: spróbuj tabelką
14 mar 21:00