- Тождественно истинные - высказывания, выражения или формулы логических исчислений, являющиеся истинными при любых значениях истинности их переменных.
- Тождественно ложные - высказывания или формулы ложны при любых значениях истинности их переменных.
- Два высказывания называются противоположными друг другу, если они не могут быть одновременно истинными, но могут быть одновременно ложными.
 |
|
|||||||||||
|
2 семестр:
I семестр:
|
Классификация высказываний с определениями:
|
|||||||||||
|
||||||||||||
