(c) For any set S of propositional sentences and any propositional sen- tence A, a maximal subset of S that doesn't enta

[answerhappygod]

C For Any Set S Of Propositional Sentences And Any Propositional Sen Tence A A Maximal Subset Of S That Doesn T Enta 1 (57.76 KiB) Viewed 70 times

(c) For any set S of propositional sentences and any propositional sen- tence A, a maximal subset of S that doesn't entail A is any set X of propositional sentences that satisfies all the following three conditions: 1. X CS 2. X# A 3. For any Y CS: if X C Y and Y & X then Y EA Let p, q, r, s be propositional variables and let Si = {-r, s, ((-- Vq) + p),q}. Write down all the maximal subsets of Sį that don't entail p. Justify your answer using truth-tables or otherwise. [6]