Zdanie odwrotne logika

Teoria liczb, teoria grafów, indukcja
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
RozbrajaczZadaniowy
Fachowiec
Fachowiec
Posty: 932
Rejestracja: 20 wrz 2013, 12:54
Podziękowania: 200 razy
Otrzymane podziękowania: 273 razy
Płeć:

Zdanie odwrotne logika

Post autor: RozbrajaczZadaniowy »

Podaj zdanie odwrotne \(p \So q \vee r\).

W ogóle nie wiem jak robić takie zadanka z logiki, a przykładów na podawanie odwrotności może być mnóstwo :).
Można prosić o jakieś wskazówki, jak się za to zabierać?
radagast
Guru
Guru
Posty: 17549
Rejestracja: 09 lis 2010, 07:38
Lokalizacja: Warszawa
Podziękowania: 41 razy
Otrzymane podziękowania: 7435 razy
Płeć:

Post autor: radagast »

RozbrajaczZadaniowy
Fachowiec
Fachowiec
Posty: 932
Rejestracja: 20 wrz 2013, 12:54
Podziękowania: 200 razy
Otrzymane podziękowania: 273 razy
Płeć:

Re: Zdanie odwrotne logika

Post autor: RozbrajaczZadaniowy »

Nie jestem pewien czy to dobra wskazówka, w praktyce za wiele mi to nie daje.
radagast
Guru
Guru
Posty: 17549
Rejestracja: 09 lis 2010, 07:38
Lokalizacja: Warszawa
Podziękowania: 41 razy
Otrzymane podziękowania: 7435 razy
Płeć:

Post autor: radagast »

No to zacznijmy od tego , że powiedz mi co to znaczy : "zdanie odwrotne"
radagast
Guru
Guru
Posty: 17549
Rejestracja: 09 lis 2010, 07:38
Lokalizacja: Warszawa
Podziękowania: 41 razy
Otrzymane podziękowania: 7435 razy
Płeć:

Post autor: radagast »

Może jeszcze napiszę jak ja to rozumiem (możemy z tym oczywiście dyskutować):

Przytoczone zdanie jest implikacją (chociaż to tak do końca pewne nie jest , bo właściwie to ono jest alternatywą ale nie znalazłam w necie określenia alternatywy odwrotnej, a sama go nie znam, nie wiem czy istnieje).
Implikacja to twierdzenie.
Twierdzenie odwrotne powstaje z zamiany tezy z założeniem.
No to zdanie odwrotne do podanego to \(q \vee r \So p\)

Jest to trochę naciągane. Sama jestem ciekawa co miał na myśli autor zadania .
radagast
Guru
Guru
Posty: 17549
Rejestracja: 09 lis 2010, 07:38
Lokalizacja: Warszawa
Podziękowania: 41 razy
Otrzymane podziękowania: 7435 razy
Płeć:

Post autor: radagast »

Nie jest tak źle :)
Okazuje się,że zdania \(\left(q \vee r \right) \So p\) oraz \(q \vee \left( r\So q\right)\) są równoważne (sprawdziłam metodą "zero-jedynkową").
Zatem podane prze Ciebie zdanie może być traktowane jak implikacja.
ODPOWIEDZ