Proof of functional completeness (logical operators)
16187
proof of functional completeness of logical operators
103045
Composition of Proximal Operators
14849
Decidability of a predicate.
145447
bilinear form - proof
116527
Validating a proof for necessary and sufficient conditions on sets A & B such that $P(A) \cup P(B) = P(A\cup B)$
121732
Functional completeness of $\{\text{or},\text{ xor}, \text{ xnor}\}$
79695
Logical operators OR AND in condition and order of conditions in WHERE
149416
Show that $ \{\lnot,\leftrightarrow\} $ is not functional complete
49385
Proving $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ in a Hilbert system where it is not an axiom
152013
elementary ring proof with composition of functions and addition of functions as operations
158728
Using induction for an easy proof for formal languages
64866
Proving a Composition of Functions is Bijective
74312
If Y is complete then B(X,Y) is complete
72391
linear dependence proof using subsets
111757
how fork works with logical operators
35115
Questions on how to prove that a set of connectives is NOT functionally complete
128111
Why is a deductive closure an intersection of maximally consistent sets?