...не помню, как называется...
...что-то про доказательства дедукции.
Аксиомы соответствия.
Гениальные в своем идиотизме:
| если a => b и a => c,
| то a => b и c
еще:
| если из а следует, что b => c,
| то а => с
...и далее в таком же духе, общим счетом - десять штук.
А еще, из равносильности следует эквивалентность, а из эквивалентности следует равносильность, но они не равны.
Потому что равносильность включает в себя эквивалентность. А эквивалентность возможна только при равносильности.
...что такое эквивалентность я уже не помню.
...а может быть, вместо нее было вообще другое слово...но какое-то похожее...
...мне все равно понравилось.
...если из а следует б, то множество б включает в себя множество а...
...если из а следует б, то из не-б следует не-а...
...кра-со-та...