MATH
Login Or Sign up

List Question

15
168
Views

Alternative theories regarding the differences between the material conditional and the indicative conditionals used in natural language?

Published on
#logic #propositional-calculus
292
Views

A proof of the simple pressing down lemma, is sup $x=x?$

Published on
#logic #set-theory #ordinals
708
Views

Is there only a finite number of non-equivalent formulas in the predicate logic?

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

How to build a list of all the wfs (well-formed sentences)?

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

How does PA interpret the axiom of pairing?

Published on
#logic
574
Views

Who is the truth teller (logic puzzle)

Published on
#logic #puzzle #boolean-algebra
287
Views

Translations into logical notation

Published on
#logic #propositional-calculus #predicate-logic
428
Views

When does material implication supposedly not "work?"

Published on
#logic
1.7k
Views

What is the contrapositive of this statement?

Published on
#logic
74
Views

Is the negation of $(a\wedge\neg b) \to c = a \wedge\neg b \wedge\neg c$?

Published on
#discrete-mathematics #logic #propositional-calculus
106
Views

What would be the function to make a formula false?

Published on
#logic #examples-counterexamples #predicate-logic #first-order-logic #model-theory
2.5k
Views

Difference between provability and truth of Goodstein's theorem

Published on
#logic #philosophy #foundations #incompleteness #peano-axioms
184
Views

Maximal independency vs. Independent axiomatization

Published on
#logic #first-order-logic
126
Views

Finite axiomatizability of theories in infinitary logic?

Published on
#logic #axioms #proof-theory #higher-order-logic
454
Views

Why is the statement 'Every argument with false premises is valid' false?

Published on
#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.