Proprietà dell'implicazione
L'implicazione gode di alcune proprietà:
- negazione;
- Jump Uppsala Zaino Soft poliestere cioccolato riflessività;
- mista £$1$£ (lega negazione e disgiunzione);
- mista £$2$£ (lega negazione e congiunzione);
- transitività.
Si scrivono così:
- Zaino Soft Jump Uppsala cioccolato poliestere £$ p \Rightarrow q = \overline q \Rightarrow \overline p$£;
- £$ p \Rightarrow p = V$£;
- £$ p \Rightarrow q = \overline p \vee q$£ ;
- £$ p \Rightarrow q = \overline{(p \wedge \overline q)}$£;
- £$[(p \Rightarrow q) \wedge (q \Rightarrow r)] \Rightarrow (p \Rightarrow r)= V$£.