Logika, zadanie nr 4384

Autor	Zadanie / Rozwiązanie
msmusic16 postów: 7	2016-03-14 18:13:42 Symbolem predykantów P i R przypisujemy znaczenie P -jest informatykiem, R- jest uśmiechnięty. Jak można odczytać zapisane symbolicznie wyrażenia: a) \/(x) (R(x) /\ ~P(x)) b) /\(x) (P(x)=> ~R(x)) a)Istnieje taki uśmiechnięty człowiek który nie jest informatykiem. b)Wszyscy informatycy nie są uśmiechnięci . Czy to są prawidłowe odpowiedzi ?

tumor postów: 8070	2016-03-14 18:26:25 Zasadniczo tak, ale z uwagami. Twoje zdanie a) nie oddaje kolejności symboli, co nie jest błędem, no ale warto zauważyć. Można było "Istnieje człowiek, który jest uśmiechnięty i nie jest informatykiem", co by oddało kolejność. W b) styl jest niezbyt polski. Czyli o ile pod kątem logicznym jest to poprawne, o tyle literat by Cię za nie zganił. "Żaden informatyk nie jest uśmiechnięty" No i Twoje "nie" jest przed czasownikiem, wychodzi "nie są". Natomiast bardziej ściśle będzie zaprzeczyć predykatowi. "Wszyscy informatycy są nieuśmiechnięci", co również kuleje stylistycznie, ale bardziej oddaje miejsce zaprzeczenia w zdaniu.

strony: 1

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