|
|
|
|
|
|
by TheAsprngHacker
2233 days ago
|
|
|
To my understanding: -> is material implication, so it is an operator of the object language. |- is part of the metalanguage that you use to reason about the object language. I am not that knowledgeable in logic, however. |
|
|