Udowodnij za pomocą praw logiki daenerys: Udowodnij za pomocą praw logiki p⇒(q⇒p)

ite: przeprowadź dowód założeniowy wprost lub nie wprost ← najszybsze

ite: albo zastosuj kolejno: prawo tożsamości (p⇒p) prawa pochłaniania p⇒(p ∨ ¬q) i na koniec prawo eliminacji implikacji

daenerys: Czyli jak rozumiem p⇒(q⇒p) (p⇒p)⇒(q⇒p)? A prawo pochłaniania dla którego p?

ite: Korzystając ze znanych już wcześniej praw logiki masz wyprowadzić prawo symplifikacji (p ⇒ (q ⇒ p)), takie jest polecenie? Jeśli tak, to: zaczynasz od zapisania prawa pochłaniania p⇒ (p ∨ r) stosujesz regułę podstawiania − zamiast zmiennej r wstawiasz ¬q: p ⇒ (p ∨ ¬q) dalej w następniku stosujesz regułę zastępowania, wykorzystując prawo eliminacji implikacji (p ∨ ¬q) ⇔ (q⇒p) p ⇒ (q⇒p) i to już koniec bo otrzymujesz podane w poleceniu prawo symplifikacji.

ite: Nie trzeba zaczynać od prawa tożsamości, nie zauważyłam tego wcześniej.