Talk:Logical implication

From Wikiversity
Jump to navigation Jump to search

Here's a the cheapest down jacket sales.Come on. canada goose trillium

discussion section: implication symbol + membership of the fiber of L[edit]

At the very end of the "discussion" section, the text says:

   The implication sign  denotes the same formal object as the relation names  and ...

shouldn't the symbol rather be ?

Also, a little earlier, the text says:


Shouldn't be a subset of  ?