Конюнкция: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Gottlebelang (беседа | приноси)
мРедакция без резюме
Gottlebelang (беседа | приноси)
мРедакция без резюме
Ред 40:
<math>n >5\land \exists x (x\in \mathbb{Z} \land n=2.x) </math>.
 
Смисълът на логическия конюнктороператор <math>\land</math> обхваща само истинностно-функионалното ядро на думата „и“, което е дефинирано с горната таблица за истинност.
 
Тъй като на конюнкцията е присъщо свойството [[комутативност]] (разместително свойство):
 
''<math>p\land q \Leftrightarrow q \land p</math>''
 
както и свойството [[асоциативност]] (съдружително свойство):
 
''<math>(p\land q) \land r \Leftrightarrow p\land (q \land r)</math>''
 
(където знакът ''<math>\Leftrightarrow</math>'' изразява логическа еквивалентност),
 
„конюнкция“ се наричат понякога и комплексни конюнктивни изречения с повече от два конюнкта:
 
''<math>p\land q \land r</math>''
 
и по-общо:
 
''<math>p</math>''<sub>1</sub> <math>\land</math> ''<math>p</math>''<sub>2</sub> <math>\land</math> ''<math>p</math>''<sub>3</sub> <math>\land</math> .… <math>\land</math> ''<math>p</math><sub>n</sub>''
 
като въпреки това не бивав да се забравя, че конюнкцията е (дефинирана като) бинарна, т.е. двуместна логическа операция.
 
== Теория на множествата ==