Кванторы

— общности

— существования

Связки

— конъюнкция (и)

— дизъюнкция нестрогая (или)

— дизъюнкция строгая (или)

— импликация (если..., то...)

— эквиваленция (если и только если..., то...)

— отрицание (неверно, что...)

Символы для модальных операторов

• модальность

• доказано (верифицировано)

• опровергнуто (фальсифицировано)

• обязательно

• запрещено

• разрешено

• необходимо

• случайно

• возможно

• невозможно