Huvud vetenskap

Operatörsmatematik och logik

Operatörsmatematik och logik
Operatörsmatematik och logik

Video: Logik: Grunder i satslogik 2024, Juli

Video: Logik: Grunder i satslogik 2024, Juli
Anonim

Operatör, i matematik, vilken symbol som helst som indikerar en operation som ska utföras. Exempel är kvadratrot av √ (vilket indikerar att kvadratroten ska tas) och d / dx (vilket indikerar differentiering med avseende på x ska utföras). En operatör kan betraktas som en funktion, transformation eller karta i den meningen att den associerar eller "kartlägger" element från en uppsättning till element från en annan uppsättning. Se även automorfism.

formell logik: operatörers avgränsbarhet

De regler som just har angetts skulle göra det möjligt för den första De Morgan-lagen som anges i tabell 3 att omvandla alla WFF som innehåller valfritt antal