EDB β€” 011

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

Exercises

  1. [011]You may prove that

    \[ \Big((βˆ€ x,\, πœ‘(x))∧ (βˆ€ y,\, πœ“(y))\Big) \iff \Big(βˆ€ x\, (πœ‘(x) ∧ πœ“(x)) \Big) \]

    [ [012]]

Download PDF
Authors: "Mennucci , Andrea C. G." .
Managing blob in: Multiple languages
This content is available in: Italian English