|
|
|
|
|
|
by irq-1
3222 days ago
|
|
|
> as a behind-the-scenes knowledge You can't reason about information you haven't included in the logic. To say it another way, if a predicate doesn't have a letter representing it, you won't get any conclusion about the predicate. |
|
|