logic related issues & queries in MathXchanger


Logical connectives

predicate-logic
Updated January 22, 2019 18:20 PM



One's Mother is one's Female parent

logic
Updated January 22, 2019 08:20 AM

What is the negation of the implication statement

logic
Updated January 21, 2019 15:20 PM

Why is the "axiom of extension" an axiom?

logic set-theory
Updated January 21, 2019 09:20 AM




What does $\forall x \phi \rightarrow \psi$ mean?

logic
Updated January 20, 2019 19:20 PM




Conjunctive NF to Disjunctive NF

logic boolean-algebra
Updated January 20, 2019 13:20 PM


Problem in Tranformation translation

logic-translation
Updated January 20, 2019 08:20 AM






What is negation of tautology?

logic
Updated January 18, 2019 20:20 PM


Why is this formula valid in PDL

logic modal-logic
Updated January 18, 2019 17:20 PM


How to prove (4|n)→(2|n) in P

logic predicate-logic
Updated January 18, 2019 11:20 AM


(((p → r) ∧ ¬(p → r)) → (q → r))

logic
Updated January 17, 2019 18:20 PM

Sorites paradox natural deduction problem

logic philosophy
Updated January 17, 2019 15:20 PM



Showing Page 1 of 0