24

В логике противопоставляются простые высказывания (пропозиции), например а: Идет дождь, и сложные пропозиции, которые выводятся из первых, а именно: конъюнкция (а и не а – дождь идет и дождь не идет) (см. ниже о многозначной логике Фон Вригта – комментарий 29); дизъюнкция (а или не а – дождь идет или дождь не идет); импликации (если а, то б) если идет дождь, то на землю падают капли; отрицания (неверно, что а) - дождь не идет как реакция на утверждение дождь идет (см. ЛФТ, «Введение в математическую логику» С.Клини, «Введение в математическую логику» А.Черча, любой учебник по формальной логике).