M-wartościowanie: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m kat. |
Nie podano opisu zmian |
||
Linia 1:
{{dopracować|źródła|data=2020-03}}
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]]
|