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