Конюнкция: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме |
Редакция без резюме |
||
Ред 1:
[[Картинка:Venn A intersect B.svg|мини
'''Конюнкция''' се нарича както едно сложно изречение, възникнало от свързването на две и повече изречения чрез съюза "и" (които в случая се явяван негови "подизречения", наричани "конюнкти"), така и самият съюз "и", разбиран в смисъла на [[логика|логическа]] частица или [[логика|логически]] оператор, които създават следната истинностно-функционална зависимост: една сложно конюнктивно изречение е ''истинно'' (има стойност по истинност ''И''), когато всички негови позизречения са ''истинни'', и ''неистинно'' (има стойност по истинност ''Н''), когато поне едно от тях е ''неистинно''. За да се различават конюнкцията в смисъла на специфичен вид сложно изречение и конюнкцията в смисъла на логически оператор, някои автори запазват думата "конюнкция" само за сложното изречение и говорят за оператора с термина "конюнктор". Символният израз на конюнктора е знакът <math>\and</math>. Условията за истинност на една конюнкция <math>p\and q</math> на изреченията <math>p</math> и <math> q</math> могат да се посочат чрез следната таблица:
{| class="wikitable"
!<math>p</math>
!<math>q</math>
!<math>p</math><math>\and</math><math>q</math>
|-
|И
|И
|И
|-
|И
|Н
|Н
|-
|Н
|И
|Н
|-
|Н
|Н
|Н
|}
където колонките под <math>p</math> и <math> q</math> показват разпределението на стойностите по истинност И и Н за тях, а колонката под <math>p\and q</math> показва за всеки ред каква е стойността по истинност на <math>p\and q</math> за съответните стойности (от съответния ред) на <math>p</math> и <math> q</math>. За една двуместна конюнкция възможните комбинации на стойностите по истинност на <math>p</math> и <math> q</math> са четири и оттук са четири и случаите в които <math>p\and q</math> получава стойност по истинност.
Пример за конюнкция е следното аритметичното твърдение ''„''<math>n</math> ''е четно и по-голямо от 5“'', във формален запис:
|