I am stuck at this problem.
Build an infinite set $\Sigma$ of logical expression (I.e. strings of the form $(P\land Q)$ or $\lnot(P\lor \lnot (Q\land R))$ etc.).
That satisfies the following two properties:
(1) for all $\alpha,\beta\in\Sigma$, $\alpha \Rightarrow \beta$ or $\beta \Rightarrow\alpha$.
(2) for all $\alpha\in\Sigma$, there exist $\beta\in\Sigma$ such that $\alpha \nRightarrow \beta$.
(The symbol $\Rightarrow$ denotes Logical consequence (or implication), That is, if $\alpha$ and $\beta$ are logical expressions such that $\alpha \Rightarrow \beta$, then it must be the case that for each row in the truth table where $\alpha$ is $T$, $\beta$ must also be $T$. And if $\alpha \nRightarrow \beta$, then it must be the case that there exist a row in the truth table where $\alpha$ is $T$ and $\beta$ is $F$).
I tried to build several sets that satisfy the properties but I failed to find one.
I tried the infinite set $\Sigma=\{P,(P\lor\lnot P),((P\lor\lnot P)\lor P),(((P\lor\lnot P)\lor P)\lor P),(((P\lor\lnot P)\lor P)\lor P, ...\}$
Then propery (1) holds for all the elements in the set but property (2) holds for all the elements after the first one and it doesn't holds for the first element $P$.
Then I tried the infinite set $\Sigma=\{P_1,(P_1\lor P_2),((P_1\lor P_2)\lor P_3),(((P_1\lor P_2)\lor P_3)\lor P_4), ...\}$ And the same thing happens here.
I tired several other sets but similiar things happen.
Thanks for any hint/help.