Logika, zadanie nr 1807

Autor	Zadanie / Rozwiązanie
klaus postów: 1	2013-12-11 22:54:06 Czy 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