Reputation
Top tag
Next privilege 250 Rep.
View close votes
Badges
5
Newest
 Student
Impact
~196 people reached

  • 0 posts edited
  • 0 helpful flags
  • 5 votes cast
Apr
5
revised How to solve ~(P → Q) : P & ~Q by natural deduction?
deleted 1602 characters in body
Apr
4
revised How to solve ~(P → Q) : P & ~Q by natural deduction?
added 1606 characters in body
Apr
4
accepted How to solve ~(P → Q) : P & ~Q by natural deduction?
Apr
4
revised How to solve ~(P → Q) : P & ~Q by natural deduction?
deleted 13 characters in body
Apr
4
asked How to solve ~(P → Q) : P & ~Q by natural deduction?
Apr
3
answered Propositional logic - Natural deduction
Mar
26
accepted Modus Tollens Proof
Mar
26
comment Modus Tollens Proof
That's perfect! Thanks!
Mar
26
comment Modus Tollens Proof
@Git Gud. According to the author that is a little detail for properly applying modus tollens. He is making the point that ~~R (as opposed to R) is technically the negation of ~R.
Mar
26
asked Modus Tollens Proof
Jun
10
accepted Standard Approach to the Fundamental Counting Principal
Jun
10
comment Standard Approach to the Fundamental Counting Principal
I missed that by a long shot! That's what I get for not questioning my assumptions. Your answer was very helpful. Thanks!
Jun
10
awarded  Student
Jun
10
asked Standard Approach to the Fundamental Counting Principal
Jun
8
awarded  Scholar
Jun
8
awarded  Supporter
Jun
8
accepted Distribution of Modular Expressions
Jun
8
comment Distribution of Modular Expressions
It looks like that was exactly what was happening. Thanks for the answer!
Jun
8
awarded  Editor
Jun
8
revised Distribution of Modular Expressions
added 1 characters in body