$A,B$ satisfies on the same finite structures implies $A,B$ are logically equivalent?

48 Views Asked by At

$A,B$ are two sentences in Predicate Logic, such that for every finite structure $A$ is satisified iff $B$ is satisfied. Prove/ Disprove: $A$, $B$ are logically equivalent.

I assume this contradicts intuition and the statement is false, but I'm lack of a counter-example to disprove this statement.

1

There are 1 best solutions below

1
On BEST ANSWER

Say $A$ is "$R$ is a total order with no largest element" and $B$ is "$R$ is a total order with no smallest element"...