MATH
Login Or Sign up

List Question

15
98
Views

Negation of statement

Published on
#logic #propositional-calculus #predicate-logic #boolean-algebra
93
Views

Predicate logic - model independent solving?

Published on
#logic #predicate-logic
96
Views

Is $\forall_x\forall_y\forall_z\Big(P(x,x)\wedge(P(x,z)\implies\big(P(x,y)\vee P(y,z)\big)\Big)\implies\exists_x\forall_y P(x,y)$ tautology?

Published on
#logic #predicate-logic #first-order-logic #satisfiability
166
Views

k-CNF formulae and formulae that are not equivalent to them

Published on
#logic #propositional-calculus #predicate-logic #conjunctive-normal-form #disjunctive-normal-form
145
Views

What is $x = x$?

Published on
#predicate-logic #first-order-logic
1.1k
Views

countability of set of well-formed formulas

Published on
#elementary-set-theory #logic #predicate-logic #first-order-logic
42
Views

Translating from English to a proposition using predicate calculus

Published on
#predicate-logic
66
Views

Is a theorem of a consistent and complete extension of L a tautology?

Published on
#logic #predicate-logic #first-order-logic
77
Views

Prove using the rule of inference: ∀x (L(x)→ F(x)) and ∃x (L(x) ∧ ¬C(x)) imply ∃x(F(x) ∧ ¬C(x))

Published on
#logic #proof-writing #computer-science #predicate-logic
115
Views

Predicate logic challenge formula

Published on
#logic #predicate-logic
638
Views

Implication in Propositional and Predicate Logic

Published on
#discrete-mathematics #logic #propositional-calculus #predicate-logic #first-order-logic
549
Views

First order logic - all x is y and all y is z

Published on
#predicate-logic #first-order-logic
5.2k
Views

valid or invalid argument - contradicting arguments

Published on
#proof-verification #logic #predicate-logic
386
Views

How are bounded quantifiers defined?

Published on
#logic #predicate-logic
166
Views

Translating a statement into predicate logic

Published on
#predicate-logic #logic-translation

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.