Высказывание A . ²Алан Тьюринг является членом Королевского общества⌡; высказывание В . ²Диагонали ромба взаимно перпендикулярны⌡. Конъюнкцией этих высказываний (
) является предложение .
²Алан Тьюринг является членом Королевского общества тогда и только тогда, когда диагонали ромба взаимно перпендикулярны⌡
²Алан Тьюринг является членом Королевского общества, или диагонали ромба взаимно перпендикулярны⌡
²Если Алан Тьюринг является членом Королевского общества, то диагонали ромба взаимно перпендикулярны⌡
²Алан Тьюринг является членом Королевского общества, и диагонали ромба взаимно перпендикулярны⌡