Задачи на формализацию

[provincialka]

Я привыкла говорить "соотношение", отношение - частный случай. Можно сказать соответствие, тоже неплохо. Что касается "возраста", он был определён ранее, в примере, здесь просто вырван кусок из текста. Но по смыслу можно определить самостоятельно.

[beroal]

Как я понимаю, здесь нужны не головоломки, а простые задачи, требующие знания формальной логики. Например, «Истинно ли утверждение «Все единороги умеют летать»?». Исходим из того, что единорогов не существует.

[ozheredov]

beroal в сообщении #1375759 писал(а):

Истинно ли утверждение «Все единороги умеют летать»?

Очевидно, что это так ). Смотрите: у нас есть таблица, содержащая столбцы "Вид создания" и "Способность к полёту". Для того чтобы ваше утверждение было истинным, необходимо чтобы сумма по битовой маске "Вид создания = Единороги" и сумма побитового произведения масок "Вид создания = Единороги" & "Способность к полёту = Да" совпадали. 0 == 0, поэтому ответ на ваш вопрос "да".

[Ruslan_Sharipov]

Nemiroff в сообщении #785783 писал(а):

$A \not\!\cap B$

Вау! Это новый значок. Пусть $C=A \not\!\cap B$. Дайте формальное (или неформальное) определение множества $C$.