Высказывания в математике называют в предложения относительно которого имеет смысл вопрос истенно или ложно.2. Простые и составные предложения. образованные из элементарных с помощью логических связок Предложения не являющиеся составные называют простыми или элементарнымиЭлементарные и составные высказывания-логические связки. тогда и только тогда.Выражения для всякого х в логике использутся квантор общности по переменной х и обозначается Х. (Запись означает для всякого значения х предложения А(х) истенное высказывание. которое не является высказыванием,к. о нём нельзя сказать истенно оно или нет.Предложения А(х) и В(х) равносильно, если из предложения А(х) следует В(х) а из В(х) следует А(х).Теорема-это высказывание истинность кот устанавливается под средством рассуждения,8. Отличие теоремы от правила.Для всякой теоремы вида «если А, то В» можно сформулировать предложения «Если В, которое называется обратной данной. обратной данной называется такая теорема, в которой условие является заключением данной теоремы, а заключение условием данной теоремы.Противоположная теорема - это утверждение,