Объяснить принцип резолюций

@D7ILeucoH · Регистрация: 29.02.2016

Студворк — интернет-сервис помощи студентам

Есть формула: (!XvA)^(XvB)=AvB
Что такое Х, А и В?

Добавлено через 9 часов 56 минут
Дизъюнкты?

@3D Homer · 22.01.2019, 21:32

Сообщение от D7ILeucoH

Есть формула: (!XvA)^(XvB)=AvB

В пропозициональной логике это не формула. Это утверждение, что две формулы эквивалентны.

Сообщение от D7ILeucoH

Что такое Х, А и В?

Это любые формулы, но в применении принципа резолюций X обычно обозначает литерал (пропозициональную переменную или ее отрицание), а A и B — дизъюнкции литералов.

@D7ILeucoH 22 / 20 / 5 Регистрация: 29.02.2016 Сообщений: 590
		1
	Объяснить принцип резолюций 22.01.2019, 19:13. Показов 1022. Ответов 1 Метки нет (Все метки) Есть формула: (!XvA)^(XvB)=AvB Что такое Х, А и В? Добавлено через 9 часов 56 минут Дизъюнкты? 0

@3D Homer $Эксперт по математике/физике$ 4768 / 3412 / 1088 Регистрация: 01.09.2014 Сообщений: 9,335
	22.01.2019, 21:32	2
	Сообщение от D7ILeucoH Есть формула: (!XvA)^(XvB)=AvB В пропозициональной логике это не формула. Это утверждение, что две формулы эквивалентны. Сообщение от D7ILeucoH Что такое Х, А и В? Это любые формулы, но в применении принципа резолюций X обычно обозначает литерал (пропозициональную переменную или ее отрицание), а A и B — дизъюнкции литералов. 0

Опции темы