SHPORA.net :: PDA

Login:
регистрация

Main
FAQ

гуманитарные науки
естественные науки
математические науки
технические науки
Search:
Title: | Body:

№8 Установления истинности сложного суждения.


Сложное суждение образуется из простых с простых с помощью лог связок: конъюнкций, дизъюнкций и импликации.

Конъюнкция – истина лищ в том случае когда оба эл-та истины

Слабая дизъюнкция – оба эл-та ложны, то ложнно все суждение.

Импликация – из истиности => истина, из лжи => все.

Эквивалентности – значения совподают.