MATH
Login Or Sign up

List Question

15
383
Views

Properties of modular arithmetic

Published on
#logic #modular-arithmetic
24
Views

How to prove a statement regarding divisibility?

Published on
#logic #divisibility
2.2k
Views

Why is negative minus negative not negative? Why is negative times positive not directionless?

Published on
#number-theory #logic #philosophy
62
Views

Logical Entailment with Different Signatures

Published on
#logic #propositional-calculus
286
Views

Embedding $\aleph_1$ into $\mathbb R$

Published on
#logic #set-theory #order-theory
96
Views

Negation of statement

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

Syntactic proof

Published on
#logic #propositional-calculus
91
Views

Predicate logic - model independent solving?

Published on
#logic #predicate-logic
65
Views

$v_2$ is not substitutable for $v_1$ in $\forall \,v_1\,\forall\,v_2\,Bv_1v_2\to\forall v_2 Bv_2v_2$

Published on
#logic #axioms #substitution
93
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
162
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
82
Views

Reduce Logical Expression

Published on
#logic #propositional-calculus
388
Views

How to use axioms to prove a derivation in propositional calculus?

Published on
#logic #propositional-calculus #formal-systems
220
Views

How do we get the converse of extensionality in Gödel's 1931 system?

Published on
#logic #substitution #higher-order-logic
229
Views

Is the argument valid or invalid?

Published on
#logic #propositional-calculus

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.