Skip to main content
Wyvern666's user avatar
Wyvern666's user avatar
Wyvern666's user avatar
Wyvern666
  • Member for 11 years, 1 month
  • Last seen more than 7 years ago
7 votes
1 answer
9k views

Best method to determine if a first order formula is logically valid?

7 votes
1 answer
12k views

Chromatic polynomial for a bipartite graph

6 votes
3 answers
487 views

Equivalent expressions for $\lnot (\forall x)\exists y A $

4 votes
3 answers
7k views

About NOT elimination/introduction and RAA rules on Natural Deduction

4 votes
2 answers
326 views

A die is thrown five times, what is the probability that you get 20 as the sum of the values

3 votes
1 answer
247 views

How to compute triple integral in spherical coordinates

3 votes
3 answers
2k views

Proof of $A \lor B, \lnot A\models B$ with natural deduction

3 votes
2 answers
2k views

Proof two solutions of a differential equation are linear independent

2 votes
1 answer
49 views

Proving a theorem on limits

2 votes
4 answers
272 views

Show Pascal triangle properties

2 votes
2 answers
217 views

How to prove $\sum_{k\leq n}^{n} \binom{n}{k}= 2^n$ by induction [duplicate]

2 votes
1 answer
120 views

Equivalence for quantifications

2 votes
3 answers
584 views

Prove that Statements forms are tautologies

2 votes
2 answers
614 views

Is this formula logically valid

2 votes
2 answers
1k views

Counting graphs on 5 vertices [duplicate]

2 votes
1 answer
1k views

Input integral derivative in Wolfram Alpha

2 votes
2 answers
326 views

About the order of integration for double integrals

1 vote
0 answers
22 views

About integration limits over region

1 vote
1 answer
1k views

Proof of addition rule of probabilities with 4 events

1 vote
1 answer
709 views

Summation of arithmetic-geometric series of higher order

1 vote
2 answers
387 views

Natural Deducion: assumptions can be used more than once?

1 vote
2 answers
3k views

Falling/Rising factorials on WolframAlpha

1 vote
2 answers
11k views

Prove logical equivalence

1 vote
1 answer
424 views

Understand "i-Equivalent Valuation" that satisfies formula

1 vote
1 answer
57 views

Justify conditional

1 vote
2 answers
182 views

Prove that formula is not logically valid and is not contradiction

1 vote
1 answer
158 views

Show binomial coefficient for $x^n$ in the expansion $(1+x)^r(1+x)^s$

1 vote
2 answers
85 views

How to resolve this diferential equation $y^2 y^{\prime}=x^3$

1 vote
2 answers
183 views

Differential equation have no particular solution for initial condition

1 vote
1 answer
289 views

Differential Equations - Method of Undetermined Coefficients for products of polynomials and sines