Matematyka dyskretna, zadanie nr 4835
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
rekrut86 post贸w: 14 |  2016-10-06 14:08:22Dane 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