Dual of Propositional Formula
129352
Duality discrete math problem
31299
Using the Fitch system, how do I prove $((p \implies q) \implies p)\implies p$?
95373
Additive set function on a semiring of sets
21366
Help on the relationship of a basis and a dual basis
98769
Find a universe and a predicate that satisfy the following formula
72034
Truth table and the meaning of $\oplus$ in propositional logic
65971
Double dual mappings
102042
If $X_n \stackrel{d}{\to} X$ and $c_n \to c$, then $c_n \cdot X_n \stackrel{d}{\to} c \cdot X$
143627
Use the Fitch system to prove the tautology (p ∨ ¬p)
145966
Find $P(A\ xor\ B\ |\ A\ \cup\ B)$
79969
Proof that a formula $\theta$ is valid if and only if $\forall x \theta$ is valid
57619
Norms Induced by Inner Products and the Parallelogram Law
32081
The dual version of trichotomy of cardinality without AC
83996
For any two sets $A,B$ , $|A|\leq|B|$ or $|B|\leq|A|$
80183
Deduction of "Disjunction elimination"
153634
A statment about the equivalence between the Axiom of Choice and the surjectivity of the projections.
138897
help with some Hilbert style proofs in a propositional logic axiom system.