👍 0 👎 |
Логика в информатикеЭлементами множеств А, P и Q являются натуральные числа, причём P = {2, 4, 6, 8, 10, 12} и Q = {4, 8, 12, 116}. Известно, что выражение (x P) → (((x Q) ¬(x A)) → ¬(x P)) истинно при любом значении переменной х. Определите наименьшее возможное значение суммы элементов множества A. -значок принадлежности к множеству.
Интересно знать, есть ли какой-то общий алгоритм таких задач. |
👍 0 👎 |
[m]x\in P\to (((x\in Q)\wedge (x\notin A)\to (x\notin P))[/m]
|
👍 0 👎 |
Общий подход может состоять в сведении задач логики к задачам теории множеств, там все нагляднее.
|
👍 0 👎 |
А можете показать на примере моей задачи?
|
👍 0 👎 |
[m]P\to (Q\cdot \overline{A}\to \overline{P)}=\overline{P}+\overline{Q}+A=1[/m] , в терминах теории множеств означает , что полученная сумма множеств составляет универсальное множество. Значит [m]A=\overline{\overline{P}+\overline{Q}}=P\cdot Q=\left\{ 4,8,12 \right\}[/m]
|
👍 −1 👎 |
PascalABC
|
👍 0 👎 |
Обработка графической информации
|
👍 0 👎 |
Информатика, подбор параметра в Excel
|
👍 0 👎 |
Информация.Информационные процессы.Системы образованные взаимодействующими элементами.
|
👍 0 👎 |
Задача по информатике
|
👍 0 👎 |
Информатика ЕГЭ
|