Jump to content

Category:Theorems in propositional logic

From Wikipedia, the free encyclopedia

Wikimedia Commons has media related to Theorems in propositional logic.

Pages in category "Theorems in propositional logic"

The following 39 pages are in this category, out of 39 total. This list may not reflect recent changes.

A

B

C

D

E

Exportation (logic)

F

Frege's theorem

H

Hypothetical syllogism

I

Idempotency of entailment

L

M

N

Nicod's axiom

P

R

S

William of Soissons

T

Tautology (rule of inference)

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Theorems_in_propositional_logic&oldid=876211444"

Hidden category:

Commons category link from Wikidata