El cercador de referència en català
Gran enciclopèdia catalana
En una implicació P ⇒Q, P és la premissa i Q la conclusió.