Logika, zadanie nr 1807
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
klaus post贸w: 1 |  2013-12-11 22:54:06Czy mo偶ecie pom贸c mi we wnioskowaniu? Prezesem mo偶e by膰 Jerzy lub Mieczys艂aw. Je偶eli Mieczys艂aw pozostanie prezesem dostaniemy dotacje rz膮dowe i nie b臋dzie grozi膰 nam bankructwo. Je偶eli Jerzy zostanie prezesem, to nie dostaniemy rz膮dowych dotacji, ale za to zdob臋dziemy zaufanie na zachodnich rynkach. Zatem je偶eli Jerzy nie zostanie prezesem, to nie zdob臋dziemy wprawdzie zaufania na zachodnich rynkach, ale nie b臋dzie grozi膰 nam bankructwo Rozpisa艂am to, 偶eby spr czy to tautologia ale utkn臋艂am bo nie mog臋 znale藕膰 dw贸ch niewiadomych... Z g贸ry bardzo dzi臋kuj臋 za pomoc! |
tumor post贸w: 8070 | 2013-12-22 11:16:22 Je艣li nie Jerzy, to Mieczys艂aw. O tej sytuacji wiemy, 偶e rzeczywi艣cie nie grozi wtedy bankructwo, ale zupe艂nie nic nie wiemy o zachodnich rynkach. Wnioskowanie nie jest pewne. A formalnie $J \vee M$ $M \rightarrow drz \wedge ngb$ $J \rightarrow \neg drz \wedge zzr$ --------------- $\neg J \rightarrow \neg zzr \wedge ngb$ NA PRZYK艁AD przy warto艣ciowaniu $w(J)=0$ $w(M)=1$ $w(drz)=1$ $w(ngb)=1$ $w(zzr)=1$ przes艂anki s膮 prawdziwe, wniosek za艣 prawdziwy nie jest. |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj