Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators
93342
Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators.
5293
Show that the logic $ \ \forall x \exists y \ P(x,y) \ $ is not logically equivalent to $ \ \exists x \forall y \ P(x,y) \ $
94771
Not every boolean function is constructed from $\wedge$ (and) and $\vee$ (or)
51369
Natural deduction proof of $p \lor (p\implies q)$ with propositional calculus
77759
How do i prove that $(p \vee q) \wedge (\neg p \vee r) \rightarrow (q \vee r)$ is a tautology without using the truth table?
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
114524
Proof Verification: the orthogonal complement of the column space is the left nullspace
14550
Every Hilbert space has an orthonomal basis - using Zorn's Lemma
146055
Proving a set of functions is uncountable
130415
Negating quantifiers with brackets
47223
Deriving even odd function expressions
136909
Functional Analysis: The rank of an operator detemines if it's a compact operator.
80996
A canonical construction proving $\left|HK\right| = \left|H\right|\left|K\right| / \left|H \cap K\right|$?
72371
Proof of Strong Induction Using Well-Ordering Principle
89506
Union of disjoint sets : Equivalence relations
59644
Proof of Cartesian product intersection
95481
The set of self-adjoint operators over a Hilbert space doesn't form a lattice