Wikipedia

Zdanie logiczne: Różnice pomiędzy wersjami

Przeglądaj historię interaktywnie
[wersja nieprzejrzana][wersja nieprzejrzana]
← poprzednia edycjanastępna edycja →
Usunięta treść Dodana treść
WizualnieWikikod
disambig: mamy juz trzy artykuly o "zdaniu"
Linia 36:
 
===Definicja===
Ustalmy alphabetalfabet <math>\tau</math> który jest zbiorem '''stałych''', '''symboli funkcyjnych''' i '''symboli relacyjnych''' ('''predykatów'''). Każdy z symboli ma określonaokreśloną arność (która jest dodatnią liczbą całkowitą). Ustalamy też listę '''zmiennych''' (zwykle <math>x_0,x_1,\ldots</math>). Najpierw definiujemy '''termy''' języka <math>{\mathcal L}(\tau)</math> jako elementy najmniejszego zbioru <math>{\bold T}</math> takiego, że:
* wszystkie stałe i zmienne należą do <math>{\bold T}</math>,
* jeśli <math>t_1,\ldots,t_n\in {\bold T}</math> i <math>f\in\tau</math> jest <math>n</math>-arnym symbolem funkcyjnym, to <math>f(t_1,\ldots,t_n)\in {\bold T}</math>.
Źródło: „https://pl.wikipedia.org/wiki/Zdanie_logiczne”