I NEED THIS ANSWERED ASAP, I WILL UPVOTE AND COMMENT!!
For any set S of propositional sentences and any propositional
sentence 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 ⊆ S
2. X ∕|= A
3. For any Y ⊆ S: if X ⊆ Y and Y ⊈ X then Y |= A
Let p, q, r, s be propositional variables and let
S1 = {¬r, s,((¬r ∨ q) → p), q}.
Write down all the maximal subsets of S1 that don’t entail p.
Justify your answer using truth-tables or otherwise. [6]
S1 = {¬r, s,((¬r ∨ q) → p), q}.
Write down all the maximal subsets of S1 that don’t entail p.
Justify your answer using truth-tables or otherwise. Thanks in
advance!
I NEED THIS ANSWERED ASAP, I WILL UPVOTE AND COMMENT!! For any set S of propositional sentences and any propositional se
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
I NEED THIS ANSWERED ASAP, I WILL UPVOTE AND COMMENT!! For any set S of propositional sentences and any propositional se
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!