Logika: A kategorikus kijelentés