Tautologia metodą skróconą

Zbiory, relacje, logika
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
RazzoR
Często tu bywam
Często tu bywam
Posty: 222
Rejestracja: 27 mar 2009, 14:23
Podziękowania: 83 razy
Płeć:

Tautologia metodą skróconą

Post autor: RazzoR » 16 wrz 2019, 20:04

Sprawdź metodą skróconą czy poniższa formuła jest tautologią:
\(
[(p \So q) \wedge \sim (\sim s \wedge q)] \So \sim(\sim s \wedge p)\)