I have one or more second-order logic formulas that correct for some finity model. What operation can I perform on them, so that resault is also correct for some finity model?

Just conjunction is impossible, example: $x$ has finity model, $\lnot x$ has finity model, but $x \wedge \lnot x$ has not finity model. Are there any restriction?


Out of the standard logical operations ($\lor$, $\land$, $\neg$, $\implies$), the only ones that meet your conditions are $\lor$ and $\implies$.

| cite | improve this answer | |
  • $\begingroup$ Thank you. And how do you define this? Is there a rule? $\endgroup$ – VsSekorin May 29 '18 at 11:16
  • $\begingroup$ What non-standard operations exist that meet this condition? $\endgroup$ – VsSekorin May 29 '18 at 11:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.