Доказательство и вывод
161. Задание {{ 242 }} ТЗ № 242
Если тождественно
истинно формула
и тождественно истинна
,
то
тождественно
истинно
тождественно
ложно
;
тождественно истинно
тождественно ложно
162. Задание {{ 243 }} ТЗ № 243
Если в формуле
все
вхождения переменной
заменить формулой
то
если тождественно
истинно формула
,
то тождественно истинно
;
если тождественно истинно формула , то тождественно истинно формула ;
если тождественно истинно формула , то тождественно истинно формула
если тождественно истинно формула , то тождественно истинно ;
163. Задание {{ 244 }} тз № 244
Формула
доказуема, если существует конечная
цепочка формул
,
что
последняя
формула в этой цепочке не совпадает с
а каждая
есть аксиома или правило вывода двух
предыдущих формул;
последняя формула в этой цепочке совпадает с а каждая есть аксиома, правило вывода двух предыдущих формул или допущение;
последняя формула в этой цепочке совпадает с а каждая есть аксиома или правило вывода двух предыдущих формул;
последняя формула в этой цепочке совпадает с
164. Задание {{ 245 }} тз № 245
Формула
выводима из совокупностей формул
,
если существует конечная цепочка формул
,
что
последняя формула в этой цепочке совпадает с а каждая есть аксиома или допущение;
последняя формула в этой цепочке совпадает с а каждая есть аксиома, правило вывода двух предыдущих формул или допущение
последняя формула в этой цепочке совпадает с а каждая есть аксиома или правило вывода двух предыдущих формул;
последняя формула в этой цепочке совпадает с .
165. Задание {{ 246 }} ТЗ № 246
Если доказуема , то
тождественно истинно
из выводима
доказуема ;
из выводима
166. Задание {{ 247 }} ТЗ № 247
Если из
выводима
,
то …
из
выводима
доказуема ;
тождественно истинно ;
доказуема
167. Задание {{ 248 }} ТЗ № 248
Если из выводима , то
из
выводима
;
выводима
из
выводима
доказуема
168. Задание {{ 249 }} ТЗ № 249
Среди следующих последовательностей формул доказательством является
169. Задание {{ 250 }} ТЗ № 250
Среди следующих последовательностей формул доказательством является
170. Задание {{ 251 }} ТЗ № 251
Среди следующих последовательностей формул доказательством является
Теория контактов
171. Задание {{ 53 }} ТЗ 53 Тема 4-24-0
Из исчислении высказываний параллельному соединению контактов соответствует ...
отрицание;
конъюнкция;
дизъюнкция;
импликация.
172. Задание {{ 54 }} ТЗ 54 Тема 4-24-0
Из исчислении высказываний последовательному соединению контактов соответствует ...
отрицание;
конъюнкция;
дизъюнкция;
импликация.
173. Задание {{ 55 }} ТЗ 55 Тема 4-24-0
Одной из основных задач в теории контактов является ...
построение контактной схемы зависящей от трёх переключателей.
перевод контактной схемы на язык исчислении высказываний;
приведение контактной схемы к оптимальной, равносильной заданной контактной схеме;
составление контактной схемы.
174. Задание {{ 56 }} ТЗ 56 Тема 4-24-0
Одной из основных задач в теории контактов является ...
построение контактной схемы зависящей от трёх переключателей.
перевод контактной схемы на язык исчислении высказываний;
по заданной задаче составление контактной схемы удовлетворяющей этой задаче;
составление контактной схемы.
175. Задание {{ 57 }} ТЗ 57 Тема 4-24-0
Переключатель это, соединение двух точек которое ...
всегда замкнуто;
либо истинно либо ложно;
имеет два положения замкнутое и разомкнутое;
всегда разомкнуто.
176. Задание {{ 58 }} ТЗ 58 Тема 4-24-0
Из исчислении высказываний переключателю соответствует ...
отрицание;
конъюнкция;
дизъюнкция;
высказывание.
177. Задание {{ 262 }} ТЗ № 262
Замыканием контакта
называется контакт
замкнутый, когда разомкнут;
разомкнутый, когда замкнут;
замкнутый, когда разомкнут, и разомкнутый когда замкнут;
истинный, когда ложно, и ложный когда истинно.
178. Задание {{ 263 }} ТЗ № 263
Из исчислении высказываний замыканию контакта соответствует
отрицание;
конъюнкция;
дизъюнкция;
импликация.
179. Задание {{ 264 }} ТЗ № 264
Параллельным
соединением двух контактов
и
называется контакт
замкнутый тогда и только тогда когда оба контакта и замкнуты
разомкнутый, когда замкнут;
разомкнутый тогда и только тогда когда оба контакта и разомкнуты
замкнутый, когда разомкнут, и разомкнутый когда замкнут;
180. Задание {{ 265 }} ТЗ № 265
Последовательным соединением двух контактов и называется контакт
замкнутый тогда и только тогда когда оба контакта и замкнуты;
замкнутый, когда разомкнут, и разомкнутый когда замкнут;
замкнутый, когда разомкнут, и разомкнутый когда замкнут;
разомкнутый тогда и только тогда когда оба контакта и разомкнуты