Hlavní Věda

Operátorská matematika a logika

Operátorská matematika a logika
Operátorská matematika a logika
Anonim

Operátor v matematice jakýkoli symbol, který označuje operaci, která má být provedena. Příklady jsou druhá odmocnina √x (což znamená, že druhá odmocnina má být přijata) a d / dx (což označuje diferenciaci vzhledem k x, která má být provedena). Operátor lze považovat za funkci, transformaci nebo mapu v tom smyslu, že spojuje nebo „mapuje“ prvky z jedné sady do prvků z jiné sady. Viz také automorfismus.

formální logika: Interdefinovatelnost operátorů

Pravidla, která byla právě stanovena, by umožnila, aby první zákon De Morgan uvedený v tabulce 3 transformoval jakýkoli wff obsahující libovolný počet