1)докажите, что:
a. тавтология следует из любой формулы;
b. из тождественно ложной формулы следует любая формула.

2)докажите, что отношение следования между формулами обладает свойствами рефлексивности и транзитивности:

3) следует ли на уровне логики высказываний:
a. из теоремы, обратной данной, теорема, противоположная данной;
b. из данной теоремы ей обратно - противоположная;
c. из данной теоремы ей противоположная;
d. из данной теоремы ей обратная? ​

сашп17    1   21.09.2019 15:33    1