Logic translation
id:
logic-translation-219-1510802
title:
Logic translation
text:
Logic translation is the process of representing a text in the formal language of a logical system. If the original text is formulated in ordinary language then the term natural language formalization is often used. An example is the translation of the English sentence "some men are bald" into first-order logic as ∃ x. The purpose is to reveal the logical structure of arguments. This makes it possible to use the precise rules of formal logic to assess whether these arguments are correct. It can
brand slug:
wiki
category slug:
encyclopedia
description:
Translation of a text into a logical system
original url:
https://en.wikipedia.org/wiki/Logic_translation
date created:
2023-02-14T18:03:39Z
date modified:
2024-09-13T07:52:13Z
main entity:
{"identifier":"Q117337220","url":"https://www.wikidata.org/entity/Q117337220"}
image:
fields total:
13
integrity:
15