Page 1 of 1
(c) For any set S of propositional sentences and any propositional sen- tence A, a maximal subset of S that doesn't enta
Posted: Thu May 12, 2022 8:58 am
by 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 73 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]