Les propositions suivantes sont-elles vraies ou fausses ?
\((\forall a\in\mathbb R)(\forall b\in\mathbb R )[(a > 0~et~b > 0) \Rightarrow ab > 0]\)
\((\forall a\in\mathbb R )(\forall b\in\mathbb R )[ab > 0 \Rightarrow (a > 0~et~b > 0)]\)
\((\forall a\in\mathbb R )(\forall b\in\mathbb R )[ab > 0 \Rightarrow (a < 0~et~b < 0)]\)
\((\forall a \in\mathbb R)(\forall b\in\mathbb R )[(a < 0~et~b < 0) \Rightarrow ab > 0]\)