Відмінності між версіями «Кон'юнкція»

1242 байти додано ,  8 років тому
нема опису редагування
м (r2.7.2) (робот вилучив: tr:Ve kapısı)
'''Кон'юнкція''' ({{lang-la|conjangere}} — об'єднувати) (операція '''AND''') — [[двомісна операція|двомісна]] [[логічна операція]], що має значення «істина», якщо всі [[операнд]]и мають значення «істина». Операція відображає вживання [[сполучник]]а «'''і'''» в логічних висловлюваннях.
 
== Позначення ==
Позначається: в математиці та логіці як <math>\land</math>, в програмуванні як '''&''' чи '''and'''.
'''And''' зазвичай виражається з префіксом оператора '''K''', або інфікс оператора. В математичній логіці, інфікс оператор, як правило, '''∧''', в електроніці '''<math>\cdot</math>''', а в мовах програмування, '''&amp;''' або '''and'''.
== Правила усунення ==
:''A'',
:''B''.
:Отже, ''A'' і ''B''.
 
Або в позначенні логічного оператора:
:<math> A, </math>
:<math> B </math>
:<math> \vdash A \and B </math>
 
Приклад аргументу:
 
:Петро любить яблука.
:Петро любить сало.
:Отже, Петро любить яблука і сало.
 
Кон'юктивне усунення є іншим класичним дійсним, простим аргументом форми. Інтуїтивно, це дозволяє зробити висновок з будь-якої кон'юнкції або елемента цієї кон'юнкції.
:''A'' and ''B''.
:Отже, ''A''.
 
...або навпаки,
 
:''A'' and ''B''.
:Отже, ''B''.
 
В позначенні логічного оператора:
:<math> A \and B </math>
:<math> \vdash A </math>
 
...або навпаки,
 
:<math> A \and B </math>
:<math> \vdash B </math>
 
 
== Визначення ==
31

редагування