Matematyka dyskretna, zadanie nr 4835

Autor	Zadanie / Rozwiązanie
rekrut86 postów: 14	2016-10-06 14:08:22 Dane jest implikacja $(p \wedge \neg q) \Rightarrow (\neg p \vee q)$ a) napisz jej zaprzeczenie b) napisz implikację przeciwną do podanej ad a) $(p \wedge \neg q) \wedge (p \wedge \neg q)$ ad b) $(\neg p \vee q) \Rightarrow (p \wedge \neg q)$ dobrze robię?

tumor postów: 8070	2016-10-06 21:18:58 a) okejka. Oczywiście zaprzeczenie można zapisać różnie. $\neg ((p \wedge \neg q)\Rightarrow (\neg p \vee q))$ $\neg (\neg(p \wedge \neg q) \vee (\neg p \vee q))$ $(p \wedge \neg q) \wedge \neg(\neg p \vee q)$ $(p \wedge \neg q) \wedge ( p \wedge \neg q)$ co jeszcze jest równoważne po prostu $( p \wedge \neg q)$ --- b) odwrócenie kolejności członów implikacji nazywamy raczej implikacją odwrotną niż przeciwną. Napisałeś implikację odwrotną, chyba że właśnie tak zdefiniowaliście na wykładzie przeciwną. Jeśli $a \Rightarrow b$ jest implikacją wyjściową, to przeciwna do niej jest $\neg a \Rightarrow \neg b$ tu masz opis http://www.math.edu.pl/kwadrat-logiczny Przy tym raz jeszcze zaznaczam, że na potrzeby wykładu możecie używać innych definicji niż ja podaję, wówczas oczywiście nie zgadnę, jakich używacie. Musiałbyś je podać.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj