MATH
Login Or Sign up

List Question

15
270
Views

Complexity of a recursive algorithm on formulas of propositional logic

Published on
#logic #propositional-calculus #computational-complexity #computability
85
Views

Boolean Expression Simplification Problem

Published on
#logic #propositional-calculus #boolean-algebra
63
Views

Propositional logic meets diplomacy at the workplace

Published on
#propositional-calculus #logic-translation
52
Views

Minimize term without Karnaugh map

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

General rule for $(A \land B) \lor (\neg A \land D)$

Published on
#logic #propositional-calculus
47
Views

Is it possible to prove that propositional calculus is consistent using only its syntax?

Published on
#propositional-calculus #proof-theory #sequent-calculus
55
Views

Intuitionist Logic Question

Published on
#logic #propositional-calculus #intuitionistic-logic
89
Views

Prove $\vdash \neg(\square F\land p)$ in $KD$

Published on
#logic #propositional-calculus #proof-theory #natural-deduction #modal-logic
97
Views

$\vdash\phi \land \diamond\psi \to \diamond(\psi\land\diamond\phi)$ in KB

Published on
#logic #propositional-calculus #natural-deduction #formal-proofs #modal-logic
171
Views

Showing $\vdash \phi\to \square \diamond \phi$

Published on
#logic #propositional-calculus #proof-theory #formal-proofs #modal-logic
101
Views

Proving $\neg (p\land \diamond q)$

Published on
#logic #propositional-calculus #modal-logic
262
Views

Proving that a sentence is inconsistent

Published on
#logic #propositional-calculus #proof-theory #modal-logic #provability
58
Views

About provability of modal axioms in modal logics

Published on
#logic #propositional-calculus #modal-logic
1.5k
Views

What does the negated double turnstile ($\not\models$) mean?

Published on
#logic #propositional-calculus
38
Views

How would you use predicate logic to check if a statement is true or false?

Published on
#discrete-mathematics #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.