Skip to main content
user963241's user avatar
user963241's user avatar
user963241's user avatar
user963241
  • Member for 11 years, 7 months
  • Last seen more than 5 years ago
11 votes
8 answers
17k views

What's the difference between "not all" and "some" in logic?

6 votes
3 answers
1k views

Inference rules for quantifiers in logic

4 votes
4 answers
907 views

How to find redundant premises?

4 votes
1 answer
168 views

Is it possible to determine the truth values of propositional proof?

3 votes
1 answer
562 views

Question about "Some A is B" in logic

2 votes
2 answers
14k views

Can I use some software method to solve and derive logic proofs?

1 vote
3 answers
181 views

How does this propositional proof make sense?