Операции над предикатами

Над предикатами можно производить те же операции, что и над высказываниями: .

Примеры:

Р1(х): х делится на 2

Q1(х): х делится на 3

Р1(х) Q1(х):

Р1(х) Q1(х):

Р1(х) Q1(х): или на 2 и на 3 или ни на 2 и ни на 3

Р1(х) Q1(х): : не делиться на 2 или делиться на 3

Р1(х): х не делится на 2.




double arrow
Сейчас читают про: