PS is an axiomatic system. All of the theorems of PS are tautologies. No prepositional variable is a tautology. All axiomatic systems of which no prepositional variables are theorems are post$-$consistent. Therefore, PS is post$-$consistent.

Provide a dictionary for this argument. and translate it into predicate logic.