logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Logika, zadanie nr 2888

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

wiolla
post贸w: 8
2014-12-10 21:08:26

Witam. U艂o偶y艂am takie zadanie. Nauczyciel wychowania fizycznego przygotowuje Tomka do zawod贸w lekkoatletycznych. Podczas rozmowy z jednym ze swoich koleg贸w stwierdza:
Je偶eli Tomek b臋dzie du偶o 膰wiczy艂 biegi (p) i nie nabawi si臋 kontuzji (q), to wygra zawody szkolne (r).
Natomiast, je偶eli Tomek nie wygra zawod贸w szkolnych, to albo za ma艂o 膰wiczy艂, albo nie by艂 w pe艂ni si艂.
Tomek wzi膮艂 udzia艂 w zawodach i je wygra艂. Nast臋pnego dnia, gdy nauczyciel wychowania fizycznego poinformowa艂 swojego koleg臋 o sukcesie Tomka, ten wysnu艂 wniosek:
Zatem Tomek du偶o 膰wiczy艂.
Formu艂臋 mam nast臋puj膮c膮:
((p $\vee$$\sim$q)$\rightarrow$r)$\rightarrow$($\sim$r)$\rightarrow$($\sim$r$\rightarrow$(q$\perp$$\sim$p))

Wniosek:
p

sprzeczno艣膰 - wnioskowanie zasadne

Czy mo偶ecie sprawdzi膰 i napisa膰 jakby艣cie to przedstawili w 0 i 1?


tumor
post贸w: 8070
2015-07-05 09:56:48

Wnioskowanie nie jest zasadne.
Na ch艂opski rozum rozumiemy, 偶e je艣li Tomek podp艂aci艂 s臋dzi贸w, to m贸g艂 wygra膰.
Zdanie to nie jest sprzeczne ze zdaniem, 偶e wygra, je艣li b臋dzie 膰wiczy艂 i nie b臋dzie kontuzji. Nie jest te偶 sprzeczne ze zdaniem, 偶e je艣li nie wygra艂 to nie 膰wiczy艂 lub nie by艂 w pe艂ni si艂.

zgaduj臋, 偶e niebycie w pe艂ni si艂 to tyle, co kontuzja.

Zdanie wygl膮da tak:
$((p \wedge \neg q)\rightarrow r)\wedge (\neg r \rightarrow (\neg p \vee q)) \wedge r \rightarrow p$

zdanie to nie jest tautologi膮, 艂atwo znale藕膰 warto艣ciowanie, dla kt贸rego jest fa艂szywe. Wystarczy $p=1, q=1,r=1$


strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj