czy ta formuła jest tautologią ?

czy ta formuła jest tautologią ? Angela: czy ta formuła jest tautologią ? p⇒{p⇒[p⇒p(p⇒p)]} mi wychodzi że nie .

11 lis 14:16

g: Co znaczy zapis p(...)?

11 lis 14:27