logika - metoda rezolucji, postać klauzulowa, formuły atomowe
Kacper: Witam, próbuję zrozumieć w jaki sposób wykonywać konkretne zadania z logiki dla inżynierów.
Czy jakaś dobra dusza byłaby w stanie rozpisać rozwiązania ?
Z góry bardzo dziękuję, próbuje rozgryźć ten temat ale informacji brak
1. Sprawdź za pomocą metody rezolucji czy podana formuła jest tautologią oraz wyprowadź tą
formułę w dwóch dowolnych systemach dowodzenia:
[(p⋁q) ⇒ r] ⇒ [(p ⇒r) ⋀ (q ⇒r)]
oraz
[p⋀ (q⋁r)] ⇔ [(p⋀q) ⋁ (p⋀r)]
2. Zapisz formułę w postaci klauzulowej:
p ⋀ [ q ∨ (¬q ⋀ r )]
oraz
p ⇒ [q ⋀ (¬p ⇔ q)]
3. Uzgodnij podane formuły atomowe:
p (x, g(f(a)), f(x)) p ( f(y), z, y)
oraz
p (a, x, f(g(y))) p (z, h(z, u), f(u))