Logika, zadanie nr 4384
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
msmusic16 post贸w: 7 |  2016-03-14 18:13:42Symbolem 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