Group Abstract Group Abstract

Message Boards Message Boards

0
|
5.4K Views
|
6 Replies
|
0 Total Likes
View groups...
Share
Share this post:

Is there a function, that simplifies logical statements?

Olger Männik
Posted 4 years ago
POSTED BY: Olger Männik
6 Replies
Sort By:
POSTED BY: Gianluca Gorni
Rohit Namjoshi
Rohit Namjoshi
Posted 4 years ago

Maybe try FindEquationalProof.
POSTED BY: Rohit Namjoshi
Olger Männik
Olger Männik
Posted 4 years ago
POSTED BY: Olger Männik
Bill Nelson
Bill Nelson
Posted 4 years ago 
!(Exists[x,Exists[y,A[x,y]]] && !Exists[x,Exists[y,A[x,y]]])

returns True

as does

TrueQ[!(Exists[x,Exists[y,A[x,y]]] && !Exists[x,Exists[y,A[x,y]]])]

as does

Simplify[!(Exists[x,Exists[y,A[x,y]]] && !Exists[x,Exists[y,A[x,y]]])]

! link

TrueQ link

Simplify link
POSTED BY: Bill Nelson

Here is a simpler example:

FullSimplify[Equivalent[Exists[x, A[x]], Exists[y, A[y]]]]

My guess is that either logical simplification does not handle expression as generic as A[x], or that replacing a dummy variable with another is not among the rules tried in the simplification.

This may be vaguely similar:

Simplify[f'[x]^2 >= 0, Element[f[x], Reals]]
POSTED BY: Gianluca Gorni

Simplify can simplify some logical expression, for example

Simplify[a && b && a]
Simplify[And[Or[a, c], Or[a, d]]]
POSTED BY: Gianluca Gorni
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard