Questions tagged [propositional-logic]
The propositional-logic tag has no usage guidance.
0
votes
1answer
141 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 ...
