logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 4383

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

msmusic16
postów: 7
2016-03-14 18:09:38

Prawdziwe jest zdanie:
"Nieprawa, że jeżeli Jan pracował rano, to nie był chory lub nie pracował wieczorem"
Czy informacja ta wystarcza, by udzielić odpowiedzi na pytanie:
a)Czy jan był chory?
b)Czy jan pracował wieczorem?

Powinno być chyba tak;
p-pracował rano
q-był chory
~p-pracował wieczorem

~[p=> ~q \/ ~(~p)]

Jeśli to poprawnie, to jak dalej?


tumor
postów: 8070
2016-03-14 18:21:49

To dość mocno zależy od interpretacji.
Ja raczej bym nie pisał, że Jan, jeśli nie pracuje rano, to pracuje wieczorem, czyli na pracę rano i pracę wieczorem przyjąłbym oddzielne literki.
Po prostu ja czasem pracuję i rano i wieczorem, a czasem ani rano ani wieczorem i mi Twoja interpretacja nie pasuje.

Jeśli jednak zgodzić się z Twoją interpretacją, to wnioskujemy, że implikacja jest fałszywa. Implikacja jest fałszywa, gdy $p$ jest prawdą oraz $\sim q \vee \sim(\sim p)$ jest fałszem, czyli
q jest prawdą i p jest fałszem.
Zatem zdanie przy Twojej interpretacji jest sprzeczne i z całą pewnością nie jest prawdziwe, jak głosi polecenie. :)


msmusic16
postów: 7
2016-03-14 18:29:38

Czyli odp to był chory i pracował wieczorem ?


tumor
postów: 8070
2016-03-14 18:30:11

Odp to
"Zatem zdanie przy Twojej interpretacji jest sprzeczne i z całą pewnością nie jest prawdziwe, jak głosi polecenie."

strony: 1

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





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj