Ekvivalenčna relacija: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m Vrnjeno na zadnje urejanje od XJamRastafire |
|||
Vrstica 13:
* relacija »[[logična enakovrednost|logične enakovrednosti]]« med stavki [[predikatni račun prvega reda|logike prvega reda]],
* relacija »[[izomorfizem|izomorfizma]]« med [[teorija modelov|modeli]] množice stavkov,
* [[relacija ekvipolence]] med
| |||