Newbetuts
.
New posts in boolean-algebra
proving logical equivalence $(P \leftrightarrow Q) \equiv (P \wedge Q) \vee (\neg P \wedge \neg Q)$
logic
propositional-calculus
boolean-algebra
how many semantically different boolean functions are there for n boolean variables?
boolean-algebra
Valid form and true premises makes an argument sound, but do 'premises' mean P, Q, R,... or 'what comprises the antecedent'?
discrete-mathematics
logic
propositional-calculus
boolean-algebra
metalogic
Universal binary operation and finite fields (ring)
abstract-algebra
finite-fields
boolean-algebra
finite-rings
proof of functional completeness of logical operators
logic
boolean-algebra
Still struggling to understand vacuous truths
logic
definition
proof-explanation
propositional-calculus
boolean-algebra
Any two points in a Stone space can be disconnected by clopen sets
general-topology
boolean-algebra
Is this really a categorical approach to integration?
integration
measure-theory
soft-question
category-theory
boolean-algebra
Prev