notacja Łukasiewicza ite: p⇒¬(¬p⇒p) Czy zapis tej implikacji w notacji polskiej będzie wyglądać tak: CpNCNpp gdzie C − implikacja, N − negacja ?

Blee: tak

ite: dziękuję : )

Adamm: tak