Wyrażenia logiczne Algorytm: Poniższa forumuiła jest tautologią: p→(≠p→q) Zaniepokoiło mnie to "≠p", przecież nie mamy liczby przed nią, czy to jest błąd czy jak mam to interpretować?

chichi: pewnie chodziło o negacje

Algorytm: Właśnie też tak myślałem, ale wolałbym się upewnić, czy istnieją takie "tricki"