logic related issues & queries in MathXchanger





Contraries's definition and vacuous truth

logic definition
Updated November 21, 2018 12:20 PM





How to prove by equational proof

logic
Updated November 20, 2018 18:20 PM



If we have ∃x[P(x) & x=y], can we conclude P(y)?

logic
Updated November 20, 2018 03:20 AM

Informal proof of diagonal lemma

logic
Updated November 20, 2018 00:20 AM


Reducing set theory to logic

logic set-theory
Updated November 19, 2018 20:20 PM

How to prove this equivalent without truth table?

logic
Updated November 19, 2018 14:20 PM

what is the mistake here?

elementary-set-theory logic
Updated November 19, 2018 07:20 AM



Please help proving or disproving this proposition

logic
Updated November 18, 2018 14:20 PM





Conjuction and disjunction

logic
Updated November 17, 2018 23:20 PM


The election of knights and knaves

logic puzzle
Updated November 17, 2018 07:20 AM




Remainder function being arithmetic

logic
Updated November 16, 2018 04:20 AM


Axiomatic Systems, finding a relation

logic
Updated November 15, 2018 21:20 PM


Showing Page 1 of 0