# Find an infinite set of formula, take any $2$ they are SAT, take any $3$ they are UNSAT [closed]

Find an infinite set of (propositional logic) formula, $$S$$, which satisfies:

• If you take any $$2$$ elements from $$S$$, they are satisfiable.
• If you take any $$3$$ elements from $$S$$, they are unsatisfiable.

As an illustration, a finite set of formula $$S' = \{a, b \land c, a \implies \neg b\}$$ satisfies the conditions as:

• Taking $$a$$ and $$b \land c$$, they are satisfiable with $$a = 1$$, $$b = 1$$, $$c = 1$$.
• Taking $$a$$ and $$a \implies \neg b$$, they are satisfiable with $$a = 1$$, $$b = 0$$, $$c = any$$.
• Taking $$b \land c$$ and $$a \implies \neg b$$, they are satisfiable with $$a = 0$$, $$b = 1$$, $$c = 1$$.
• Taking three of them, they are unsatisfiable.

Credit to my professor, to be honest I haven't solved this.

## closed as off-topic by JonMark Perry, ManyPinkHats, rhsquared, boboquack, QuintecDec 9 '18 at 22:02

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "This question is off-topic as it appears to be a mathematics problem, as opposed to a mathematical puzzle. For more info, see "Are math-textbook-style problems on topic?" on meta." – JonMark Perry, ManyPinkHats, rhsquared, boboquack, Quintec
If this question can be reworded to fit the rules in the help center, please edit the question.

• I am not too sure, but can anyone tell me whether this is off-topic, or seems to be a homework that should not be solved at puzzling.se? Thanks! – Omega Krypton Dec 9 '18 at 6:31
• Now I'm not sure if this is off-topic or not. But this is just a puzzle my professor gave on the class (as exercise), and everyone may try to solve it. – athin Dec 9 '18 at 6:51
The text passage describes a problem in propositional logic, asking for an infinite set of formulas that satisfy specific satisfiability conditions. It also provides an illustrative example of a finite set that meets similar conditions and includes a discussion about the appropriateness of the question for the platform.
no_question

the passage does not contain a mathematical question that requires a numerical or calculative answer. instead, it presents a logical problem that requires the construction of a set of formulas. the illustrative example provided is not a solution to the main problem but an analogous finite case.
Given a text passage, determine:
    1. If it contains a mathematical question (including word problems or calculations)
    2. If an answer to that mathematical question is provided in the text

First, describe the content structure you found in 1-2 sentences.

Then provide your analysis in the following format:
TYPE: <one of the following values>
- NO_QUESTION
- SINGLE_QUESTION
- SINGLE_QUESTION_WITH_ANSWER
- MULTIPLE_QUESTIONS
- MULTIPLE_QUESTIONS_WITH_ANSWERS
system
# Find an infinite set of formula, take any $2$ they are SAT, take any $3$ they are UNSAT [closed]

Find an infinite set of (propositional logic) formula, $$S$$, which satisfies:

• If you take any $$2$$ elements from $$S$$, they are satisfiable.
• If you take any $$3$$ elements from $$S$$, they are unsatisfiable.

As an illustration, a finite set of formula $$S' = \{a, b \land c, a \implies \neg b\}$$ satisfies the conditions as:

• Taking $$a$$ and $$b \land c$$, they are satisfiable with $$a = 1$$, $$b = 1$$, $$c = 1$$.
• Taking $$a$$ and $$a \implies \neg b$$, they are satisfiable with $$a = 1$$, $$b = 0$$, $$c = any$$.
• Taking $$b \land c$$ and $$a \implies \neg b$$, they are satisfiable with $$a = 0$$, $$b = 1$$, $$c = 1$$.
• Taking three of them, they are unsatisfiable.

Credit to my professor, to be honest I haven't solved this.

## closed as off-topic by JonMark Perry, ManyPinkHats, rhsquared, boboquack, QuintecDec 9 '18 at 22:02

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "This question is off-topic as it appears to be a mathematics problem, as opposed to a mathematical puzzle. For more info, see "Are math-textbook-style problems on topic?" on meta." – JonMark Perry, ManyPinkHats, rhsquared, boboquack, Quintec
If this question can be reworded to fit the rules in the help center, please edit the question.

• I am not too sure, but can anyone tell me whether this is off-topic, or seems to be a homework that should not be solved at puzzling.se? Thanks! – Omega Krypton Dec 9 '18 at 6:31
• Now I'm not sure if this is off-topic or not. But this is just a puzzle my professor gave on the class (as exercise), and everyone may try to solve it. – athin Dec 9 '18 at 6:51
user
The text passage describes a problem in propositional logic, asking for an infinite set of formulas that satisfy specific satisfiability conditions. It also provides an illustrative example of a finite set that meets similar conditions and includes a discussion about the appropriateness of the question for the platform.

TYPE: NO_QUESTION

The passage does not contain a mathematical question that requires a numerical or calculative answer. Instead, it presents a logical problem that requires the construction of a set of formulas. The illustrative example provided is not a solution to the main problem but an analogous finite case.