Οι Συγκριτικοί και οι Λογικοί χειριστές χρησιμοποιούνται για να ελέγξουν αν μια πρόταση είναι αληθής ή ψευδής.