Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [propositional-logic]

The 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 ...