Logic software?

J

jujuj2015-11-11 15:52:37

jujuj, 2015-11-11 15:52:37

Logic software?

There are many logical propositions, like S is P, some S is not P, and so on and so forth, so is there a program that turns 1 proposition into another?

Reply

Answer the question

In order to leave comments, you need to log in

1 answer(s)

D

drc, 2015-12-16
@drc

you need Prolog

Similar questions

V

Votetoda2018-03-20 17:36:53

Why does the microphone and keyboard turn off periodically? 2Reply

A

Andrew2012-02-29 03:45:02

Accounting for purchased software 3Reply

V

Veritas232018-03-22 13:03:52

Which mobile app builders are the easiest to learn? 1Reply

A

Anton Kiselyov2018-03-22 17:46:56

Which graphics editor has automatic numbering, like in screenshots? 2Reply

N

Nicholas Secret2015-11-16 11:24:38

What is the program for monitoring the filling of disks on remote computers? 5Reply

Didn't find what you were looking for?

Ask your question