« first day (2626 days earlier)      last day (1849 days later) » 

Martin Sleziak
Martin Sleziak
3:11 PM
new-tag A new tag wilsons-theorem was created - although I am not sure who created it. (The only question with this tag is by a user with low reputation.
-4
Q: Proof of Wilson's theorem.

Divya Prakash SinhaHow can I prove Wilson's theorem using induction? I know other proofs of this theorem. But I am curious to know inductive proof.

elementary-number-theory induction alternative-proof wilsons-theorem
new-tag A new tag beth-tableau was created by lemontree.
1
Q: The law of the excluded-middle in modal logic

DoubtAs a simple exercise in modal logic, I'd like to show that $\not\vdash\Diamond(p\lor\neg p)$. However, when using the tableaux method, I can't get very far. After replacing $\neg\Diamond$ with $\Box\neg$, there are no previously introduced worlds in which to apply $\Box$. If I try to introduce "a...

logic modal-logic beth-tableau
 
6 hours later…
Martin Sleziak
Martin Sleziak
9:32 PM
The tag-creator created als the tag-excerpt for beth-tableau.

« first day (2626 days earlier)      last day (1849 days later) »