MATH
Login Or Sign up

List Question

15
100
Views

Are the following statements?

Published on
#logic #terminology #propositional-calculus
381
Views

Multiple Propositions in a Statement

Published on
#logic #propositional-calculus
272
Views

Bourbaki's definition of truth

Published on
#logic #first-order-logic #foundations
926
Views

How to do XOR 5 times?

Published on
#logic #propositional-calculus #boolean-algebra
68
Views

How do I solve this logic question?

Published on
#logic
45
Views

Number of literals in FDNF

Published on
#logic
125
Views

How would I show that X is equivalent to ((¬X ↔ X ) ∨ X )?

Published on
#logic #proof-writing #propositional-calculus #natural-deduction #formal-proofs
181
Views

Godel's Theorems and Conventionalism

Published on
#logic #set-theory #philosophy
206
Views

To Mock a Mockingbird - Exclusive Club (logic puzzle)

Published on
#logic #puzzle
193
Views

Proving null quantification

Published on
#logic #predicate-logic #quantifiers
1.3k
Views

Writing out some propositions using disjunctions and conjunctions

Published on
#logic #propositional-calculus #quantifiers
248
Views

Equivalence proof by using identities and ‘n series of substitutions: (P ⋁ Q) → (P ⋀ Q) ≡ (P → Q) ⋀ (Q → P).

Published on
#logic #propositional-calculus #natural-deduction
1.4k
Views

Why we have 2 quantifiers in predicate logic?

Published on
#logic #predicate-logic #quantifiers
382
Views

Smallest possible 6-bit XOR (even/odd parity)

Published on
#logic #boolean-algebra
180
Views

First Order Logic and Euclidean Geometry System

Published on
#logic #euclidean-geometry #first-order-logic

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.