Бажина - Не работает подстановка @id - use another inference ID as a variable FALSE
BUG
| A | Не работает подстановка @id - use another inference ID as a variable | |
 | A → B | не получится использовать другие доказательства как переменные |
Truth check table
| Case | A | B | A → B |
|---|---|---|---|
| 1 | T | T | T |
| 2 | T | F | F |
| 3 | F | T | T |
| 4 | F | F | T |
Public:
Yes
,
Show truth table:
Yes
,
Tags: