Lógica proposicional. Lógica simbólica. Conectivos lógicos condicional y bicondicional.

Un marciano llega a la tierra, y está deseoso de aprender lógica simbólica. En este momento solamente entiende los conectivos lógicos: condicional y bicondicional . A partir de esto, ¿Cómo le enseñaría el conectivo lógico conjuntivo?