Exemple lògic de condicional
De Wikisofia
La forma lògica de l'enunciat «si surt el sol s'alegren els camps», és «si P llavors Q».
Formalment: [math]\displaystyle{ p\rightarrow{q} }[/math] forma que comparteix l'enunciat «només els que tenen carnet (q) poden conduir un cotxe (p)», o «per a conduir un cotxe (p) és necessari tenir carnet (q)».