Identity/Conditional Relations, Fitch Calculus in Logic
37196
"If P, then Q; If P, then R; Therefore: If Q, then R." Fallacy and Transitivity
125950
Proof strategy involving first order logic for existential quantification at very beginning
128111
Why is a deductive closure an intersection of maximally consistent sets?
140682
Proving a property of a Logic Formal Language
127596
Composition of equivalence relations
136584
Understanding connection between terms tautology, contradiction, contingent, satisfiable, unsatisfiable, valid and invalid
36726
How Implication or Material/Concrete Conditional works when the antecedent is false and the consequent is true
32027
Given (p ∧ q), use the Fitch system to prove (q ∨ r)
142840
Open axioms of equality
114550
Well-ordering theorem and second-order logic
46423
Distributivity of quantifiers over logical connectives
101741
Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
113065
Proving equivalences of statements equivalent to AC
51369
Natural deduction proof of $p \lor (p\implies q)$ with propositional calculus
85338
Equivalence relations on classes instead of sets
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
75985
Given the functional dependencies of a relation is there more then one way to normalize it?