Как известно, многие теоремы математики допускают формулировку в виде условных предложений. Например, рассмотрим следующую теорему: «Если точка лежит на биссектрисе угла, то она равноудалена от сторон этого угла». Условием теоремы является предложение «Точка лежит на биссектрисе угла», а заключением - предложение \"Точка равноудалена от строн угла\". Условие и заключение теоремы представляют собой предикаты, заданные, заданные на множестве R².

Запись математических предложений в виде формул, логики, предикатов (см.заметку)