Algebra, zadanie nr 1163
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
voicer post贸w: 1 |  2013-03-02 14:34:38Poni偶sze zadanie nale偶y udowodni膰 przez indukcj臋 wzgl臋dem n, ale nie mam poj臋cia jak to zrobi膰.  |
tumor post贸w: 8070 | 2013-03-02 16:13:40 Po pierwsze na forum nie umieszczamy skan贸w. To nie boli przepisa膰 c) $[p_1 \wedge ... \wedge p_n \Rightarrow q] \iff [p_1 \Rightarrow [p_2 \Rightarrow [...[p_n\Rightarrow q]...]]]$ Najprostszy spos贸b zrobienia tego polega na przemy艣leniu. Mo偶na zrobi膰 bez zrozumienia, jak komputer, ale gdyby nauczycielom o to chodzi艂o, to raczej by uczyli komputery ni偶 bardziej zawodnych ludzi. Ja polecam rozwi膮zania przez zrozumienie przyk艂adu. Lewa strona jest fa艂szem tylko, gdy wszystkie $p_k$ s膮 prawd膮 i $q$ fa艂szem. Prawa strona jest fa艂szem gdy $p_1$ jest prawd膮 a $(p_2 \Rightarrow ...) fa艂szem$, czyli $p_2$ prawd膮, a $(p_3 \Rightarrow ...)$ fa艂szem itd, czyli gdy wszystkie $p_k$ s膮 prawd膮 a $q$ fa艂szem. Lewa strona jest fa艂szem wtedy i tylko wtedy gdy prawa jest fa艂szem, co w logice klasycznej oznacza r贸wnowa偶no艣膰. Je艣li co艣 jest niejasne, to zr贸b tabelki dla wszystkich $n\in N_+$ |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj