Логические символы и обозначения

Утверждение = высказывание обозначается прописными буквами латинского алфавита A,B,C, и т.д.

Операция отрицания утверждения A обозначается

Знак общности - заменяет выражение " для любого ", "для произвольного", "для какого бы ни было".

Знак существования - заменяет выражение " существует ", "найдется".

Запись (импликация) означает, что из справедливости высказывания A вытекает справедливость высказывания B. Если, кроме того, из справедливости высказывания B вытекает справедливость A, то записываем . Если , то высказывание B является необходимым и достаточным условием для того, чтобы выполнялось высказывание A ( эквивалентность).

Если высказывание составлено из двух высказываний при помощи союза «или»: «A или B», то оно является суммой этих высказываний (дизъюнкцией) и обозначается

Если высказывание составлено из двух высказываний при помощи союза «и»: «A и B», то оно является произведением этих высказываний (конъюнкцией) и обозначается

Запись

означает «изменяется от 1 до n».

Дата добавления: 2015-08-09