Sprawdź czy zdanie jest tautologią lily: Sprawdź metodą niewprost czy poniższe zdanie jest tautologią ( ∼(q∧∼r) ∧ ∼ (∼p ↓ r) ) ≡ ∼( ∼ (∼p∨r) ∨ ∼(q/∼r) )

iteRacj@: @lily jaki spójnik logiczny jest po zmiennej zdaniowej q? ∼(q/∼r) a tutaj (∼p ↓ r) czy to jest implikacja? znak wygląda sympatycznie, bo sugeruje wejście do przejścia podziemnego