Questions tagged [propositional-logic]
The propositional-logic tag has no usage guidance.
5
votes
2answers
543 views
What are the conditions for RAA?
My textbook states that:
In this case, however, what about situations where we can get Q ^ ~Q (sorry, unfamiliar with this formatting) without depending on P? For instance, the proof of EFQ:
1 (1) ...
1
vote
1answer
170 views
Using predicate logic, how to solve symmetric and anti reflexive
The networks is: A->B->C->D
The channels used by the network are: lo, med, hi
h-hi, l-lo, m-med
i) A network uses one, and only one channel.
ii) Networks within close proximity cannot both use the ...
3
votes
1answer
89 views
Is b⊢C∧¬b⊢C∧b⇒C∧¬b⇒C possible?
Are there any cases where b and C are real world statements where b⊢C∧¬b⊢C∧b⇒C∧¬b⇒C where b and C are not tautologies? It may seem like a silly question, but after searching hard and deep, I couldn't ...
