M-wartościowanie: Różnice pomiędzy wersjami

Dodane 13 bajtów ,  14 lat temu
m
kat.
(Nowa strona: Niech M = <nowiki><U, ∆></nowiki> będzie dowolną ale ustaloną interpretacją danego języka pierwszego rzędu. Nieskończ...)
 
m (kat.)
Niech M = <nowiki><U, ∆></nowiki> będzie dowolną ale ustaloną [[Interpretacja języka klasycznego rachunku predykatów|interpretacją]] danego języka pierwszego rzędu. Nieskończone ciągi elementów uniwersum interpretacji M = <nowiki><U, ∆></nowiki> nazywamy '''M-wartościowaniami'''.
[[Kategoria:Logika matematyczna]]