Logika - zadanie na obronę licencjatu

[Karol1995+]

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

[radagast]

co to za znaczek między q i p ?

[Karol1995+]

Sam się zastanawiam nad tym. Na zajęciach z logiki nie został mi zaprezentowany taki spójnik (funktor). Taki znak widnieje w wykazie pytań do obrony licencjatu.