logika x: Przedstaw koniunkcję za pomocą implikacji i negacji. p∧q = ¬(¬p ∨ ¬q) = ¬(p→¬q) Najpierw zrobiłem zamianę stosując prawo De Morgana, ale potem wykorzystałem mutację prawa eliminacji implikacji i nie wiem czy tak można robić jak zrobiłem, tj. czy można mając w formule zmienną zdaniową np. r, wszędzie zamienić ją na ¬r, albo na odwrót.. (p→q) ⇔ (¬p∨q) zamieniłem na (p→¬q) ⇔ (¬p∨¬q)

Adamm: co to w ogóle za pytanie? oczywiście że można

x: No to jeszcze jedno pytanie, pewnie również z tych "oczywistych" − czy w ten sam sposób mogę podstawiać pod zmienne zdaniowe dowolne (poprawnie zbudowane) formuły bez zmieniania wartości jakie cała formuła uzyskuje przy konkretnych wartościowaniach?

Adamm: tak

x: dzięki