Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

2)Конъюнкция (логическое умножение).



 

1)Отрицания.

2)Конъюнкция (логическое умножение).

3)Дизъюнкция (логическое сложение).

4)Импликация.

5)Эквиваленция.

1*x=x

xÚ1=1

X*0=0

xÚ0=x

Ø0=1

Ø1=0

x*Øx=0

xÚØx=1

X(yÚz)=xyÚxz

xÚ(y*z)=(xÚy)*(xÚz)

 

 

Предикат – это сказуемое в предложении. Например, в высказывании «7 - простое число», «7» -субъект, «простое число» - предикат.

 

у х Р(х,у) - «Для всякого у и для всякого х у
является делителем х».

у х Р(х,у) - «Существует у, которое является делителем всякого х».

у х Р(х,у) - «Для всякого у существует х такое,
что х делится на у.

у х Р(х,у) - «Существует у и существует х та­
кие, что у является делителем х».

х у Р(х,у) - «Для всякого х и для всякого у у
является делителем х».

х у Р(х,у) - «Для всякого х существует такое у, что х делится на у.

х у Р(х,у) - «Существует х и существует у такие, что у является делителем х.

х у Р(х,у) - «Существует х такое, что для всякого у х делится на у.

- квантор всеобщности.

- квантор существования.

Размещениями называют комбинации, составленные из n различных элементов по m элементов, которые отличаются либо составом элементов, либо их порядком. Число всех возможных размещений

Amn = n (n - 1)(n - 2)... (n - m + 1).

Сочетаниями называют комбинации, составленные из n различных элементов по m элементов, которые отличаются хотя бы одним элементом. Число сочетаний

С mn = n! / (m! (n - m)!).

 


Дата добавления: 2015-08-28; просмотров: 22 | Нарушение авторских прав




<== предыдущая лекция | следующая лекция ==>
Две лапы- кража- - Бросок(прыжок)- Свирепость(ярость) | Подготовка текста и примечания: С. Л. Короленко и Н. В. Короленко-ляхович

mybiblioteka.su - 2015-2024 год. (0.008 сек.)