Logika, zadanie nr 3692
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
michmat698 post贸w: 12 |  2015-10-20 17:59:03Jakby kto艣 m贸g艂 sprawdzi膰 czy dobrze rozwi膮za艂em Sprawd藕 czy podane zdania s膮 prawdziwe: 1.Je艣li a jest liczb膮 pierwsz膮, to je艣li a nie jest liczb膮 pierwsz膮, to a r贸wna si臋 6 p - a jest liczb膮 pierwsz膮 q - a r贸wna si臋 6 $ p\Rightarrow (\sim p\Rightarrow q)$ ostatecznie wychodzi mi 偶e jest prawdziwe, tylko nie wiem czy zapis tego jest dobry. 2. Je艣li a dzieli si臋 przez 3 i a dzieli si臋 przez 5 , to z faktu, i偶 a nie dzieli si臋 przez 3 wynika, i偶 a nie dzieli si臋 przez 5 p - a dzieli si臋 przez 3 q - a dzieli si臋 przez 5 $p\wedge q \Rightarrow (\sim p\Rightarrow \sim q)$ I tutaj te偶 wychodzi mi 偶e jest prawdziwe. Z g贸ry dzi臋ki wielkie za odpowiedzi |
tumor post贸w: 8070 | 2015-10-20 21:43:00 1. Zapis dobry, je艣li ma by膰 w klasycznym rachunku zda艅. Rzeczywi艣cie, mamy tautologi臋, czyli zdanie jest prawdziwe. 2. Ok. |
michmat698 post贸w: 12 | 2015-10-21 14:21:34 Dzi臋ki wielkie :) Tak metod膮 0-1 mia艂em sprawdzi膰 |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj