1. Информатика
  2. Докажите формулу при правила

Докажите формулу при правила MP и теоремы о дедукции, не используя аксиомы.
(F→G)→((H→F)→(H→G))

MashaVonlaar MashaVonlaar    2   23.12.2021 01:25    0

Ответы
Показать ответы (3)
Другие вопросы по теме Информатика
lesnyxalex lesnyxalex  21.05.2020 21:30
CРОЧНО Дан двовимірний масив, який заповненийвипадковими числами від 1 до 20. Замінити всіпарні елементи на 0.2. Знайти добуток додатних елементів квадратноїматриці,...
Dhbdej Dhbdej  31.07.2019 10:50
Заполнить пропуски procedure solution(n: byte; var s: integer); var i: byte; a: integer; begin s : = 10; for i : = 1 to n do begin a : = -20 + random(41); write(a: 5);...
vasa2283 vasa2283  31.07.2019 10:50
Решить на вставку в массив. несколько тестовых наборов данных для проверки работо программы дан целочисленный линейный массив. вставить число a между всеми соседними...
RinOkumura99 RinOkumura99  31.07.2019 10:50
Определить симметричны ли элементы в массиве (одномерном) относительно центрального или центральных?...
Milenadaw Milenadaw  31.07.2019 10:50
Вывести на экран наибольшее целое число в диапазоне от 0 до введеного, которое делится на 8....
schaposchnyk schaposchnyk  31.07.2019 10:50
Вфирме работают 4 человека. каждый получает разную зарплату. необходимо вывести на экран насколько самая маленькая отличается от большой....
Krisru376 Krisru376  31.07.2019 10:50
2) на компьютере установлена видеокарта объемом 3 мбайта. какое максимально возможное количество цветов теоретически допустимо в палитре при работе с монитором, имеющим...
ftf3 ftf3  20.11.2020 08:01
1) найдите значение логического выражения ((1&0)V(1&0)V1 2) составить таблицу истинности для заданной формулы. При каких значениях А,В,С логическое выражение...
nikeenokyana nikeenokyana  20.11.2020 08:02
это информатика.10 класс. ​...
kasa0303 kasa0303  19.10.2020 05:57
Ниже приведены решения загадки: 1. Как мы называем устройство, печатающее информацию на бумаге?2. Устройство для ввода информации в компьютер?3. Каковы отношения между...

Популярные вопросы