MATH
Login Or Sign up

List Question

15
66
Views

the definition of the maximum value of a continuous function is impredicative?

Published on
#logic
199
Views

Logic statements

Published on
#logic
104
Views

Propositional Logic Formula

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

Challenge propositional logic

Published on
#logic #propositional-calculus
2.5k
Views

Set Expressions Simplification

Published on
#discrete-mathematics #elementary-set-theory #logic #propositional-calculus #boolean-algebra
93
Views

Does $M^\beta\subseteq M$ imply $M_\beta = V_\beta$?

Published on
#logic #set-theory
618
Views

Prove that [(p ∨ q) ∧ (p → s) ∧ (q → t)] → (s ∨ t) without using truth tables. What is the proof technique used?

Published on
#logic #proof-explanation #propositional-calculus
284
Views

Why need both converse and inverse in proofs.

Published on
#logic #propositional-calculus
86
Views

What mistake am I making within this logic resolution problem?

Published on
#logic
1k
Views

Countability of Fibonacci series

Published on
#sequences-and-series #logic #fibonacci-numbers #formal-proofs
161
Views

Two equivalent statements of Lowenheim-Skolem

Published on
#logic #model-theory
2.4k
Views

Proof of commutative property in Boolean algebra a∨b = b∨a, a∧b = b∧a,

Published on
#logic #boolean-algebra #binary
280
Views

Why is "$Y = \mathbb{P}(X)$ not a $\Delta_0$?

Published on
#logic #set-theory
55
Views

Logic and formal reasoning

Published on
#logic
351
Views

Ultraproduct of cycle graphs - why uncountably infinite and not connected?

Published on
#logic #first-order-logic #model-theory

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.