helpo czy: Sprawdzić, czy wyrazenie jest prawem rachunku kwantyfikatorow (∃ x (α⇒β)) ⇒ [(∃ x α) ⇒ ( ∃ x β)] Czyli trzeba sprawdzić, czy wyrażenie jest tautologią? czy można to tak przekształcić: (∃ x (α⇒β)) ⇒ [¬(∃ x α) v ( ∃ x β)] i wtedy to jest (∃ x (α⇒β)) ⇒ [¬δ v δ], więc calośc jest (∃ x (α⇒β)) ⇒ T, więc jest tautologią, czy tak jest dobrze?

ite: To wyrażenie nie jest prawem rachunku kwantyfikatorów. Podam kontrprzykład ∃x (x²≤0 ⇒ x<x) jest prawdą, ale czy ∃x (x²≤0) ⇒ ∃x (x<x) jest prawdą?

czy: dlaczego ∃x (x²≤0 ⇒ x<x) jest prawdą?

ite: Istnieje liczba, dla której 23:43 jest prawdą; weźmy dowolną liczbę ujemną /np. −1/ (−1)²≤0 ⇒ (−1)<(−1) fałsz ⇒ fałsz (więc implikacja jest prawdziwa) Ale z istnienia liczby, dla której prawdą jest że x²≤0 (taką liczbą jest 0) nie wynika, że istnieje liczba, która jest od siebie mniejsza.