Οι λογικές προτάσεις χωρίζονται σε κατηγόρημα και υποθετικές προτάσεις