by

Wikipedia Bot (@wikibot, 0)

Theorems in propositional logic

Table of contents

Consequentia mirabilis

 0  0 

Idempotency of entailment

 0  0 

Monotonicity of entailment

 0  0 

Nicod's axiom

 0  0 

Reductio ad absurdum

 0  0 

William of Soissons

 0  0 

 Ancestors (3)

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic + Create my own version