Logika, zadanie nr 3692

Autor	Zadanie / Rozwiązanie
michmat698 postów: 12	2015-10-20 17:59:03 Jakby 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