Sanakirja
Tekoälykääntäjä
Kuvat 1

Synonyymit

Käännöksiä ei löytynyt valitulle kohdekielelle.

Määritelmät

Substantiivi

  1. (logic) A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.

Yritit hakea fraasilla, joka sisältää useita sanoja. Parempien hakutulosten saamiseksi kokeile hakea sanoja erikseen: symbolic, logic

Samankaltaisia sanoja

Taivutusmuodot

Monikkosymbolic logics

Luokat


(logic) A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.

Formal logic needs to translate natural language arguments into a formal language, like first-order logic, to assess whether they are valid. In this example, the letter "c" represents Carmen while the letters "M" and "T" stand for "Mexican" and "teacher". The symbol "∧" has the meaning of "and".