Bazı modellerde doğru olan bir nicelemeli önerme,
niceleme mantığında “geçerli” bir önermedir.

Tüm modellerde yanlış olan bir nicelemeli önerme,
niceleme mantığında “geçerli” bir önermedir.

Bazı modellerde yanlış olan bir nicelemeli önerme,
niceleme mantığında “geçerli” bir önermedir.

En az bir modelde doğru olan bir nicelemeli önerme, niceleme mantığında “geçerli” bir önermedir.

Tüm modellerde doğru olan bir nicelemeli önerme,
niceleme mantığında “geçerli” bir önermedir.