Licencjat - pytanie z logiki

pytanie zadane 26 maja 2018 w Matematyka, fizyka, logika przez Karol1995 Nowicjusz (120 p.)

Dzień dobry!

Mam problem z odpowiedzią na pytanie do obrony pracy licencjackiej. Proszę o pomoc w rozwiązaniu. Pytanie brzmi:

Sprawdź metodą tabelkową następującą formułę (klasyczny rachunek zdań/ krz): (p ↔ (q / p)) → q

1 odpowiedź

odpowiedź 26 maja 2018 przez Benek Szeryf (90,790 p.)
edycja 26 maja 2018 przez Benek

Powinni Cię oblać na tym egzaminie. Wszystkim dającym minusy przypominam, że:

nie dajemy gotowców,
pokazujemy w którym miejscu utknęliśmy.

Jeśli kolega utknął na początku zadania, to świadczy to o niewystarczającej wiedzy na licencjat.

komentarz 26 maja 2018 przez Aisekai Nałogowiec (42,190 p.)

Rozumiem, że jakiś problem mógłby sprawić dowód metodą zalozeniowa, ale metoda tabelkowa (0-1) jest najprostszą metodą do dowodzenia.

Edit: minusa pewnie od autora dostałeś.

komentarz 26 maja 2018 przez Karol1995 Nowicjusz (120 p.)

@Benek, Na zajęciach z logiki nie został mi zaprezentowany taki spójnik (funktor): "/".

Taki znak widnieje w wykazie pytań do obrony licencjatu.

Próbowałem sam rozwiązać zadanie i poszukać odpowiedzi w Internecie, co ten znak może oznaczać, lecz nie znalazłem odpowiedzi.

Czy mógłbym prosić o merytoryczną odpowiedź, zgodną z tematem, zamiast pisania prywatnych opinii?

1	komentarz 26 maja 2018 przez Aisekai Nałogowiec (42,190 p.) https://pl.m.wikipedia.org/wiki/Lista_symboli_matematycznych Serio próbowałeś?

komentarz 26 maja 2018 przez Benek Szeryf (90,790 p.)

Karol1995, w porządku. Tak naprawdę potrzebujesz dowiedzieć się, czym jest "/", a to zmienia zupełnie postać rzeczy. Także w przyszłości staraj się precyzyjnie formułować pytania. Anulowałem raport oraz -1, ponieważ wyjaśniłeś sprawę.