In each of these semantics, the interpretations of the first-order quantifiers and the logical connectives are the same as in first-order logic.
Σε κάθε μια από αυτές, οι ερμηνείες των ποσοδεικτών πρώτης τάξεως και των λογικών συνδέσμων είναι ίδιοι όπως και στην πρώτης τάξης λογική.