notacja polska
lz: Np — negacja p, Cpq — implikacja, Apq — alternatywa,
Kpq — koniunkcja, Epq — równoważność
Zapisz w zwykłej notacji:
KCpNqp
CCpCNpqq
8 paź 10:05
Pytający:
□∧□ // K
(□⇒□)∧□ // KC
(p⇒□)∧□ // KCp
(p⇒(∼□))∧□ // KCpN
(p⇒(∼q))∧□ // KCpNq
(p⇒(∼q))∧p // KCpNqp
□⇒□ // C
(□⇒□)⇒□ // CC
(p⇒□)⇒□ // CCp
(p⇒(□⇒□))⇒□ // CCpC
(p⇒((∼□)⇒□))⇒□ // CCpCN
(p⇒((∼p)⇒□))⇒□ // CCpCNp
(p⇒((∼p)⇒q))⇒□ // CCpCNpq
(p⇒((∼p)⇒q))⇒q // CCpCNpqq
8 paź 12:06