Пусть p и q – простые высказывания. Для соединения предложения в более сложное предложение, используют связки. Их всего четыре:
конъюнкция – означает связку «и» (p и q),
дизъюнкция –означает связку «или» (p или q),
импликация – означает связку «если, то» (если p, то q),
эквиваленция – означает связку «тогда и только тогда»
(p тогда и только тогда, когда q).
Для того чтобы установить, является ли истинным сложное высказывание «p и q», нам нужно лишь знать, истинны ли обе его компоненты p и q.Если это так, то «p и q» истинно. Нам незачем для этого знать что-либо о содержании высказывания p или высказывания q.
Точно также мы можем сделать заключение об ис