Символы взаиморасположения геометрических объектов и логических операций

Обозначение	Смысловое значение	Пример символической записи
(…)	способ задания геометрического объекта в пространстве и на комплексном чертеже	А(А1, А2) – точка А задана на комплексном чертеже горизонтальной и фронтальной проекциями; S (А, b) – плоскость S задана прямой b и точкой А.
Î Ì, É	принадлежность	А Î l – точка А принадлежит прямой l; l Ì S – прямая l лежит в плоскости S
º	совпадение	А1 º В1 – горизонтальные проекции точек А и В совпадают.
//	параллельность	a // b – прямые a и b параллельны.
^	перпендикулярность	c ^ d – прямые c и d перпендикулярны.
_·_	скрещивание	m _ · _ n – прямые m и n скрещивающиеся.
Ç	пересечение	k Ç l – прямые k и l пересекаются.
`Ç	касание	l `Ç F = N – прямая l касается плоскости F в точке N.
È	объединение	АВ È ВС È CD – ломаная линия ABCD.
~	подобие	D АВС ~ D DEF – треугольники ABC и DEF подобны.
@	конгруэнтность	D АВС @ D DEF – треугольники ABC и DEF конгруэнтны, т.е. они могут быть совмещены в пространстве движением первого порядка.
=	равенство	/ АВ / = / CD / – отрезки АВ и CD равны.
/	отрицание	А Ï l – точка А не принадлежит прямой l.
Ù	конъюнкция предложений (соответствует союзу «и»)	K Î a Ù K Î d – точка K принадлежит прямым a и d.
Ú	дизъюнкция предложений (соответствует союзу «или»)	А Î S Ú A Ï S – точка А принадлежит плоскости S или точка А не принадлежит плоскости S.
Þ Ü	логическое следствие – импликация (следовательно, поэтому)	a // b Ù c // b Þ a // c – прямые а и с параллельны прямой b, следовательно, они параллельны между собой.

Продолжение таблицы 1

Обозначение	Смысловое значение	Пример символической записи
Û	логическая эквивалентность (что то же самое)	A Î l Û A1 Î l1, A2 Î l2 – точка А принадлежит прямой l, следовательно, ее проекции лежат на одноименных проекциях прямой; справедливо и обратное утверждение: проекции точки А лежат на одноименных проекциях прямой l, следовательно, точка принадлежит этой прямой.
® ¬	отображение, преобразование	– система ортогональных плоскостей преобразуется в систему плоскостей .

Таблица 2

Дата добавления: 2014-01-11