№8 Установления истинности сложного суждения.
Сложное суждение образуется из простых с простых с помощью лог связок: конъюнкций, дизъюнкций и импликации.
Конъюнкция – истина лищ в том случае когда оба эл-та истины
Слабая дизъюнкция – оба эл-та ложны, то ложнно все суждение.
Импликация – из истиности => истина, из лжи => все.
Эквивалентности – значения совподают.