Sammenlign ord
matematisk logikkvs.symbolsk logikk
"matematisk logikk" har 1 synonymer og "symbolsk logikk" har 1. De deler 0 felles, noe som betyr at de kan brukes i lignende sammenhenger.
Sammenligning
1
matematisk logikk
0
—
1
symbolsk logikk
Matematisk logikk er et felt som utforsker anvendelsen av formelle logiske systemer i matematikk, og studerer grunnlaget for matematikk.
Bare i "matematisk logikk"
Symbolsk logikk er en gren av logikken som studerer formelle systemer og resonnement ved hjelp av symboler og matematiske metoder, ofte kalt matematisk logikk.