No to teraz wam zburzę tok rozumowania
Mam wrażenie, że cały zamęt w zadaniu to słowo: lub też.
Zgodnie z tym zapis powinien wyglądać następująco:

((¬pVq)→r))Λ(p→¬q)Λ(r→q)Λ(¬q→r)

W tym wypadku całe zdanie jest prawdziwe tylko w momencie gdy:
p - 0 - świadek nie był zastrzelony
q - 1 - Henry popełnił samobójstwo
r - 1 - Testament odnaleziono

mi tak wyszlo :

((¬p V q ) →r) Λ (p→ ¬q) Λ (r →q) Λ (¬q →r)

p = swiadek zastrzelony
q= henry samoboj
r= testament odnaleziony

wieslawski napisał:

Nie masz racji anubiss, alternatywą ('lub też' znaczy tyle, co 'lub') dla "świadek nie był zastraszony" jest implikacja. Zdanie, które zapisałeś brzmiałoby: "Jeśli świadek nie był zastraszony lub też -jeśli(opcjonalnie)- Henry popełnił samobójstwo, to testament odnaleziono". Nietrudno zauważyć różnicę.

Akurat wydaje mi się jednak, że to ty nie masz racji.
'lub też' nie znaczy tyle co 'lub' wyrażenie też wskazuje nam na to w którym miejscu wstawić nawiasy.
Żeby było tak jak napisałeś to właśnie nie powinno być słowa 'też'

Zobacz jak zrobił zadanie @banan

Pozdrawiam
Rafał.

wieslawski napisał:

No nie da się z tym zgodzić. Wpisz w google "lub też", lub też wpisz to w wyszukiwarce na poradnia.pwn.pl. Wtedy spierasz się już także z profesorami Bralczykiem, Bieniem i Bańko.

Ja nie chcę się spierać, tylko ustalić jak powinno być zrobione zadanie z logiki. Aby zaoszczędzić sprzeczek o "lub też" czy innych napisałem maila do naszego wykładowcy i mam nadzieję, że w przypływie dobrej woli odpisze i wyjaśni co i jak w tym zadaniu.
Jeśli chodzi o spieranie się z Bralczykami czy innymi... to tak naprawdę zadanie będzie musiało być rozwiązane tak jak będzie wymagał tego prowadzący zajęcia do zaliczenia

A więc treść maila od p. Szczepanika:
     Witam,
     Pierwsze zdanie to nie p v (q -> r).
     Pozd.
     Przemysław Szczepaniak

Widać że nie miałem racji. Pozdrawiam

Ostatnio edytowany przez anubiss (2008-10-16 09:24:20)