Zdanie logiczne: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
mery, red, -bzdury, -OR |
|||
Linia 54:
==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ż
*logikach ze specjalnymi
*logice z <math>\varepsilon</math>-[[Symbol Hilberta|symbolem Hilberta]],
*logikach wyższych rzędów
==Zobacz też==
|