Answer by Derek Elkins left SE for Symbol for assignment of a truth-value?
There are a variety of ways to handle this. One option is to use some suitable notion of logical equivalence, for which I often use $\equiv$, but there are many other notations. So you would have "if...
View ArticleSymbol for assignment of a truth-value?
Here's an odd thing. There seems, browsing along my shelves, to be no standard symbolic metalinguistic shorthand widely used in elementary books for assigning a truth-value to a wff (say, in the...
View Article
More Pages to Explore .....