03:22

Proofing Equivalence of Four Statements (Logical Conclusion)

Anonymous

Shared 15/02/2020

05:45

Proving the Equivalence of Statements (Logical Conclusion)

Anonymous

Shared 15/02/2020

02:22

Showing that the Proof by Contradiction Works

Anonymous

Shared 15/02/2020

02:25

Showing that the Proof by Contraposition Works

Anonymous

Shared 15/02/2020

01:45

If (F ⟶ G) is a Tautology and F is Satisfiable, Then G is Also Satisfiable

Anonymous

Shared 14/02/2020

03

If (F ⟶ G) is Satisfiable and F is Satisfiable, Then G is Also Satisfiable?

Anonymous

Shared 14/02/2020

02:54

Finding the Boolean Function for a Large Logical Statement

Anonymous

Shared 14/02/2020

01:31

If (F ⟶ G) is a Tautology and F is a Tautology Then G is Also a Tautology?

Anonymous

Shared 14/02/2020

02:23

Proof of the Distributivity of the Big Union

Anonymous

Shared 10/02/2020

02:26

Proof of the Distributivity of the Big Intersection

Anonymous

Shared 10/02/2020

04:06

Proof that { {x}, {x, y} } = { {a}, {a, b} } if and only if x = a and y = b

Anonymous

Shared 10/02/2020

05:34

Proof of A △ (B △ C) = (A △ B) △ C (Associativity of the Symmetric Difference)

Anonymous

Shared 09/02/2020

01:41

Proof of A △ B = !A △ !B (Symmetric Difference)

Anonymous

Shared 09/02/2020

02:41

Proof of (A ∪ B) \ (A ∩ B) = (A △ B)

Anonymous

Shared 09/02/2020

02:56

Proof of (A \ B) ∪ (A ∩ B) = A

Anonymous

Shared 09/02/2020

04:40

If b1 * b2 * ... * bn = 1 Then b1 + b2 + ... bn is Bigger or Equal than n (Proof by Induction)

Anonymous

Shared 08/02/2020

04:14

Power Set of a Set With n Elements has 2^n Elements (Proof by Induction)

Anonymous

Shared 08/02/2020

02:07

When is P(A) ∩ P(B) = P(A ∩ B) true?

Anonymous

Shared 07/02/2020

06:32

Proof that (P(A) △ P(B)) ∩ P(A △ B) = ∅ and A = B are Equivalent

Anonymous

Shared 07/02/2020

04:24

Proof of P(A) ∪ P(B) = P(A ∪ B) ⇔ A ⊆ B or B ⊆ A

Anonymous

Shared 06/02/2020

02:24

Proof that A = B is Equivalent to (A ∩ !B) ∪ (!A ∩ B) = ∅

Anonymous

Shared 06/02/2020

05:10

Proof Equivalence of A ⊆ B ⇔ A ∩ B = A ⇔ A ∪ B = B

Anonymous

Shared 05/02/2020

02:39

Showing that a Point Divides a Line in the Golden Ratio on a Triangle

Anonymous

Shared 05/02/2020

02:24

Proofing a Sum of the Fibonacci Sequence Without Induction

Anonymous

Shared 04/02/2020