Универзална инстанцијација — разлика између измена
Садржај обрисан Садржај додат
мНема описа измене |
м додавање панела са правилима трансформације |
||
Ред 1:
{{Правила трансформације}}
'''Универзална инстанцијација''', или '''елиминација универзалног квантификатора''' јесте математичко и логичко правило које налаже да, уколико сви елементи неког универзума имају неко својство, тада сваки од тих елемената има то исто својство. Универзална инстанцијација се да представити и као:
| |||