MATH
Login Or Sign up

List Question

15
99
Views

Looking for examples that illustrate the use of the $\operatorname{seq}$ notation

Published on
#logic #peano-axioms
34
Views

simple question regarding contradicting a phrase

Published on
#discrete-mathematics #logic
65
Views

proving logical explosion

Published on
#discrete-mathematics #logic
29
Views

Logical formula equivalence

Published on
#logic
359
Views

Set of sentences in L with no non-logical symbols that are satisfiable iff L-structure is even

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

Prove complete iff $\mathcal{A} \equiv \mathcal{B}$

Published on
#logic #proof-writing
64
Views

Rewrite this argument in PL form

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

Is it safe to assume in Math that we will always have n - 1 operators for n operands?

Published on
#logic #arithmetic
44
Views

Clarification about statements like $\forall n\in\mathbb{N}, \exists x_1,x_2,...,x_n \in {A},\forall i\in\{1,...,n-1\},x_i<x_{i+1}$

Published on
#elementary-set-theory #logic #quantifiers
85
Views

What do polynomials solve for? Roots?

Published on
#logic
107
Views

Modifying a sequence of ordinals to be increasing and continuous. (To find names of small rank.)

Published on
#logic #set-theory #cardinals #ordinals #forcing
120
Views

Basic logic: inferring B from (A ⊃ B) ⊃ B and (A ⊃ B)

Published on
#logic
68
Views

Why is this logical formula invalid for expressing the statement "anything bought it not human"?

Published on
#logic #first-order-logic #quantifiers #logic-translation
506
Views

$\vdash \neg\alpha\rightarrow(\alpha\rightarrow\beta)$ without deduction theorem

Published on
#logic #propositional-calculus
128
Views

Why aren't these logically equivalent? How can I show this?

Published on
#logic #predicate-logic #quantifiers

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.