logic related issues & queries in MathXchanger





What are the types of non-deductive arguments?

logic
Updated June 18, 2019 17:20 PM





Terry Tao Analysis I

analysis logic
Updated June 17, 2019 15:20 PM






Is this formula an atomic formula?

first-order-logic
Updated June 16, 2019 20:20 PM

A theorem of Skolem's

first-order-logic
Updated June 16, 2019 18:20 PM



Which solution is better for this predicate?

logic
Updated June 16, 2019 00:20 AM



Truth value of an open formula

first-order-logic
Updated June 15, 2019 08:20 AM



Logic diagram for p ∨ ¬(q ∧ ¬r)

logic
Updated June 15, 2019 01:20 AM


Assumptions, Axioms and Premises

logic
Updated June 14, 2019 22:20 PM





The compositionality of classical logical

logic
Updated June 13, 2019 23:20 PM

what is the symbol $⊭$ in logic?

logic terminology
Updated June 13, 2019 21:20 PM

Infinite Conjunction vs. Compactness

logic set-theory
Updated June 13, 2019 14:20 PM


How to write this sentence in predicate logic?

logic
Updated June 13, 2019 07:20 AM



Showing Page 1 of 0