{[(is true) is a predicate] is a proposition} is TRUE!

Anything can be a subject. So long as you can talk about it, then it's a subject. It can be a subject even if what you are saying about it is false. A predicate is different. The subject is talked about and the predicate does the talking. Put them together and you get a proposition. Read 1 - 10

Note: ' ○ ' is not used as a predicate in future posts.
1.      {[( is true ) is a predicate] is a proposition} is true.

2.       ' ○ ' is a predicate. 

3.       ' is awesome ' is also a predicate. 

4.       ○ ( David is awesome ).

5.       If ' A ' represents ' is awesome ', then ○ ( A David ). 

6.       Simplify my name to just ' d '. 

7.       So, ○(Ad). 

8.       ○{[(○) is a predicate] is a proposition} says precisely the same thing (1) says. 

9.       In other words, ' ○ ' represents the predicate ' is true '. 

10.     Conversely, ' ● ' means ' is false '.

( Take note that ' (Ad) ' is the subject of ' ○(Ad) '. A proposition can be a subject.)

I define my own terms and rules. The way I symbolize from English to predicate logic is to always order from left to right the predicate symbol with its corresponding subject symbol. Letter predicate symbols are capitalized. The subject symbol is always lowercase. Go through the above list again now that you know the predicate/subject order and capitalization rules. 

In conclusion, Ad. (Remember: ' Ad ' means ' David is awesome ') 

Random Comment: Following set rules from start to finish is a good way to attract mathematician eyeballs.