znajduje się w zasięgu działania jakiegoś kwantyfikatora.
Przykłady i własności Następujące formuły są zdaniami (dla odpowiednio dobranego alfabetu ): AC, CH Następująca formuła nie jest zdaniem ponieważ zmienna nie jest związana: Jeśli stałe, symbole funkcyjne i symbole relacyjne alfabetu zostaną zinterpretowane (czyli gdy zbudujemy model dla naszego języka), to o każdym zdaniu możemy rozstrzygnąć czy jest ono spełnione w tym modelu czy też nie.
Zdania w innych logikach Definicja zdania sformułowana powyżej dla logiki pierwszego rzędu może być w naturalny sposób przeniesiona na grunt innych logik. W szczególności w bardzo podobny sposób określamy, czym jest zdanie w: logikach nieskończonościowych (zezwalających na użycie nieskończonych koniunkcji czy też nieskończenie wielu kwantyfikatorów), logikach ze specjalnymi kwantyfikatorami (takimi jak kwantyfikator Magidora-Malitza), logice z -symbolem Hilberta, logikach wyższych rzędów.
Zobacz też formuła logiczna język logiczny rachunek predykatów pierwszego rzędu teoria modeli
Przypisy
Kategoria:Rachunek zdań