- #1

- 36

- 0

How can I show (without using truth table) that

Is it possible to have a similar kind of expression with

*p*→*q*is equivalent to**F***↓ ((***F***↓ p) ↓ q)*where**F**is constant*"false"*and*p*and*q*are propositions?Is it possible to have a similar kind of expression with

**T**(true) instead of**F**?*Thanks in advance!*
Last edited: