0
$\begingroup$

I was wondering if statements that hold in general in set theory, such as De Morgan's Laws, always hold in propositional logic as well. If not, what are some examples of such statements that in the context of propositional logic fail to hold?

$\endgroup$
0

1 Answer 1

1
$\begingroup$

The propositions of set theory are consequences of the axioms of set theory, as there are no rules of propositional logic that involve the symbols \epsilon, \cap, \cup. Standard set theory always uses the basic laws of propositional logic in order to make inferences from the set-theoretic axioms.

$\endgroup$
2
  • $\begingroup$ So does that mean there are no such examples? $\endgroup$ Apr 21, 2016 at 1:15
  • $\begingroup$ I can't see how there can be any $\endgroup$ Apr 21, 2016 at 1:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .