HUMANS AND MACHINES

Since ancient times, humans have been chasing machines to replace it in some of the tasks that take a lot of time and effort.

In the case of tasks involving reasoning, this nl is an exception. Throughout the last century a systematic process of preparation of the logical syntax was undertaken so that it could be treated by a computer.

The reduction of the formula formats to a standardized form and the meeting of the reference rules in a single format, called a resolution, allowed this process. Consequence of it was the transformation and, therefore, the involvement of the computer science in the logic.

Thanks for reading, ok?