Logika, upraszczanie zdań logicznych Pohybel: Wie ktoś jak to uprościć? { p → [ ( ¬p ⋁ q ) ⇒ p ] } ∧ q użyłem prawa eliminacji implikacji i wyszło mi to { p → [ ( p ⇒ q ) ⇒ p ] } ∧ q następnie myślałem nad prawem transpozycji ale nigdzie mnie to nie zaprowadziło

Pohybel: Pomoże ktoś? ew. podeśle link do miejsca gdzie mogę się tego nauczyć?

jc: Czy to nie jest po prostu q?

ite: dokładnie tak jak pisze jc Zobacz, jakie aksjomaty masz podane. Jak są tam aksjomaty (pozytywne) implikacji, wykorzystaj jeden z nich dla pierwszego składnika implikacji.

ite: *pierwszego składnika koniunkcji