Заказ: 1060467

Составить таблицу истинности, число строк которой равно 2n, где n – число пропозициональных переменных, а число столбцов равно числу пропозициональных переменных, посылок и заключения, а также дополнительно столбцы для конъюнкции всех посылок и импликации заключения из этой конъюнкции, 2. выделить штриховкой строки, в которых истинны все посылки и заключение, 3. указать необходимые значения пропозициональных переменных для истинных значений всех посылок и заключения; 4. доказать истинность заключения: а) методом дедукции и нарисовать граф дедуктивного вывода, b) методом резолюции и нарисовать граф вывода пустой резольвенты.

Составить таблицу истинности, число строк которой равно 2n, где n – число пропозициональных переменных, а число столбцов равно числу пропозициональных переменных, посылок и заключения, а также дополнительно столбцы для конъюнкции всех посылок и импликации заключения из этой конъюнкции, 2. выделить штриховкой строки, в которых истинны все посылки и заключение, 3. указать необходимые значения пропозициональных переменных для истинных значений всех посылок и заключения; 4. доказать истинность заключения: а) методом дедукции и нарисовать граф дедуктивного вывода, b) методом резолюции и нарисовать граф вывода пустой резольвенты.
Описание

Подробное решение в WORD





Составить таблицу истинности, число строк которой равно 2n, где n – число пропозициональных переменных, а число столбцов равно числу пропозициональных переменных, посылок и заключения, а также дополнительно столбцы для конъюнкции всех посылок и импликации заключения из этой конъюнкции, 2. выделить штриховкой строки, в которых истинны все посылки и заключение, 3. указать необходимые значения пропозициональных переменных для истинных значений всех посылок и заключения; 4. доказать истинность заключения: а) методом дедукции и нарисовать граф дедуктивного вывода, b) методом резолюции и нарисовать граф вывода пустой резольвенты. (Решение → 71952)

Составить таблицу истинности, число строк которой равно 2n, где n – число пропозициональных переменных, а число столбцов равно числу пропозициональных переменных, посылок и заключения, а также дополнительно столбцы для конъюнкции всех посылок и импликации заключения из этой конъюнкции, 2. выделить штриховкой строки, в которых истинны все посылки и заключение, 3. указать необходимые значения пропозициональных переменных для истинных значений всех посылок и заключения; 4. доказать истинность заключения: а) методом дедукции и нарисовать граф дедуктивного вывода, b) методом резолюции и нарисовать граф вывода пустой резольвенты. (Решение → 71952)

Предварительный просмотр

Составить таблицу истинности, число строк которой равно 2n, где n – число пропозициональных переменных, а число столбцов равно числу пропозициональных переменных, посылок и заключения, а также дополнительно столбцы для конъюнкции всех посылок и импликации заключения из этой конъюнкции, 2. выделить штриховкой строки, в которых истинны все посылки и заключение, 3. указать необходимые значения пропозициональных переменных для истинных значений всех посылок и заключения; 4. доказать истинность заключения: а) методом дедукции и нарисовать граф дедуктивного вывода, b) методом резолюции и нарисовать граф вывода пустой резольвенты.