bármilyen valós szám Predikátumok és kvantifikátorok Predikátumok és kvantifikátorok Logic megállapítások érvényesek egyszerű kijelentő kijelentéseket, amikor az alap nyilatkozatai - igaz vagy hamis. Jóváhagyása, amely egy vagy több változó