Из каждого высказывания А можно построить его отрицание, т.е. высказывание «неверно, что имеет место А» или, короче «не А», что обозначается как «
». Итак, отрицанием высказывания А называется новое высказывание, обозначаемое символом 
, которое истинно тогда и только тогда, когда А ложно. Отрицание высказывания задается талицей
| А
|
|
|
|
|
|
|
|
Отсюда видно, что, каково бы ни было А из двух высказываний А, одно является истинным, а другое ложным.
Конъюкция
Логическая связка, соответствующая союзу «и», называется коньюкцией, обозначается символом ^и определяется таблицей, которая называется таблицей истинности.
Итак, составное высказывание «А и В», т.е. А^ В или АВ истинно тогда или только тогда, когда оба высказывания А и В истинны.
