New answers tagged first-order-logic
2
votes
Natural deduction proof: distributivity of existential quantification
This is an old question, and the discussion so far has not been very helpful (IMHO), so I think it is all right to just give the proof for the record so that it can be closed:
$$\def\lab#1{{\...
- 2,221
Top 50 recent answers are included