MATH
Login Or Sign up

List Question

15
70
Views

Use a numbered list of arguments to prove the argument: ((p∨q→r∨s)∧¬s)⊢(r∨¬p)

Published on
#proof-verification #logic #propositional-calculus
7.1k
Views

Proving a tautology using logical equivalences

Published on
#discrete-mathematics #logic #propositional-calculus
34
Views

Negation of universally quantified formula

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

Are there automated proof search algorithms for extended Frege systems?

Published on
#logic #propositional-calculus #computational-complexity #proof-theory
40
Views

Can't find the prenex-normalform of a logical sentence

Published on
#logic #propositional-calculus
1.6k
Views

Rewriting a statement in logical form

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

Prove the undecidability of a formula

Published on
#logic #propositional-calculus #model-theory #natural-deduction #intuitionistic-logic
167
Views

Discrete Math: simplifying the proposition $\lnot [p \land (q \lor r) \land (\lnot p \lor \lnot q \lor r)]$

Published on
#discrete-mathematics #logic #propositional-calculus
329
Views

Natural deduction proof for $(P\to\lnot Q)\to(\lnot P \lor\lnot Q)$

Published on
#logic #propositional-calculus #natural-deduction
946
Views

Truth tables in propositional calculus: semantic or syntactic in nature?

Published on
#logic #propositional-calculus
113
Views

Translating Propositional Functions

Published on
#logic #propositional-calculus #predicate-logic #first-order-logic #quantifiers
92
Views

Beginner help at proving two sets are equal

Published on
#elementary-set-theory #proof-writing #propositional-calculus
535
Views

What do the paths of a truth tree represent?

Published on
#discrete-mathematics #logic #propositional-calculus
66
Views

Simplify $p\lor q\lor(\neg p\land\neg q\land r)$ to $p\lor q\lor r$

Published on
#logic #propositional-calculus
149
Views

Prove that this sentence is a tautology.

Published on
#logic #propositional-calculus #formal-languages

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.