02:10
Finding Supremum and Infiumum of the Division Relation fo Two Natural Numbers
Anonymous
Shared 19/02/2020
02:26
Showing that the Infimum of {X,Y} Exists in the Partial Order [ Ƥ(M), ⊆ ]
Anonymous
Shared 19/02/2020
06:07
Proof of the Associativity of the Supremum (Sup{ Sup{ a, b }, c } = Sup{ a, Sup{ b, c } })
Anonymous
Shared 18/02/2020
05:10
Proofing that R is an equivalence relation if and only if IdM ⊆ R and R⚬R^-1 ⊆ R
Anonymous
Shared 18/02/2020
01:39
If the Relation R is Symmetric and Anti-Symmetric then R is also Transitive
Anonymous
Shared 17/02/2020
02:28
Proof of the Associativity of the Relation Product (R⚬S)⚬T = R⚬(S⚬T)
Anonymous
Shared 17/02/2020
03:36
Proof that the Divisibility is a Partial Order (Reflexive, Anti-Symmetric, Transitive)
Anonymous
Shared 16/02/2020
05:36
Proof that Congruence Modulo is an Equivalence Relation (Reflexive, Symmetric, Transitive)
Anonymous
Shared 16/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
08:41
Orthonormalization of Vectors Using the Gram Schmidt Process (Orthogonalization + Normalization)
Anonymous
Shared 12/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
01:34
Finding All Vectors that are Orthogonal to a Vector in the 3-Dimensional Space
Anonymous
Shared 13/02/2020