Licencjat - pytanie z logiki

Question

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

Answer 1

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

1. nie dajemy gotowców,
2. 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.

Comments

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ś.

---

@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?

---

https://pl.m.wikipedia.org/wiki/Lista_symboli_matematycznych

Serio próbowałeś?

---

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ę.

---

@Aisekai, odpowiadając na twoje pytanie: tak, na prawdę próbowałem.