Create a statement in propositional logic. This statment must have 2 attributes. (The attributes are specified in the top header)

The following are the 2 attributes: (1) This statement claims the statement after it is true. (2) This statement cannot be not true.

This statement would achieve these 2 attributes through its wording. This statement cannot be false because if it were false; it would either generator a paradox, or break the rules of propositional logic.

Yes, it will be very difficult (although I suspect the answer will be simplistic, like all answers to difficult formal language questions). But, please only post an answer if you have created a statement that acts in the way described in the title. If you don't think it can be done, then please either post a comment or don't be involved in this post at all. For those who think this is impossible, consider Liar Statements (AKA "This statement is false"). Liar Statements seemed impossible to exist, until they were discovered.

Everything below is not part of the question, however it provides useful information.

(((The following statement is false)v(The following statement is true.))v(The following statement is undefined))

The truth table for (((The following statement is false)v(The following statement is true.))v(The following statement is undefined)) would obviously be the same as the truth table for ((AvB)vC).

According to the axioms of propositional logic, a statement must be either true, false, or undefined. Therefore, the logic table would actually be the following. Because A, B, and C could not all be false.

Keelan come up with the statement "True is true." "True is true," is a statement that has the 2nd attribute, but not the 1st attribute.

• I'm a bit confused. Is this like a logic version of code-golf or a legitimate question about logic? – virmaior Oct 21 '17 at 6:09
• @virmaior Both. – user235979 Oct 21 '17 at 6:10
• Okay, what specifically is the question you have about logic that someone can help you with? – virmaior Oct 21 '17 at 6:20
• Meeting which criteria exactly? This post does not clarify it any further than "act in the same way described in the title." Would "True" be a correct answer, since then "True is True" would be the consequent of that implication, hence the implication is always true? Please clarify what you mean by editing your question (it would also be a good idea to leave out irrelevant text for brevity), then it can be reopened. – Keelan Oct 21 '17 at 6:44
• But 37 is always positive, no matter what statement you put in front of it, and so "false" is false no matter what statement you put in front of it. – Keelan Oct 29 '17 at 6:23