MATH
Login Or Sign up

List Question

15
47
Views

Can the OR function be linearly separated?

Published on
#linear-algebra #propositional-calculus
242
Views

Monotonic operators in classical logic

Published on
#propositional-calculus #boolean-algebra
783
Views

Admissible rule in classic logic

Published on
#propositional-calculus
899
Views

Question about propositional logic

Published on
#logic #propositional-calculus
283
Views

How to express sample space

Published on
#probability #discrete-mathematics #propositional-calculus
70
Views

Value V on some formula in Logic

Published on
#logic #propositional-calculus
324
Views

Proving $\vdash (p\to q)\lor (q\to r)$ using natural deduction

Published on
#logic #propositional-calculus #natural-deduction #intuitionistic-logic
115
Views

Logic question in propositional calculus

Published on
#logic #propositional-calculus
1.2k
Views

How can I show logically equivalence without a truth table

Published on
#logic #propositional-calculus
756
Views

Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators

Published on
#logic #propositional-calculus
220
Views

Logical equivalent of $p\to(q\to p)$

Published on
#logic #propositional-calculus
7.1k
Views

Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators.

Published on
#logic #propositional-calculus
60
Views

Simpliest Propositional Equivalences proof question

Published on
#logic #propositional-calculus
127
Views

Proving logical equivalences

Published on
#logic #propositional-calculus #first-order-logic
113
Views

The propositional logic expression for ∃x∀yP(x,y)

Published on
#logic #propositional-calculus #predicate-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.