01:45

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

Anonymous

Shared 14/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