A estrutura condicional refere-se a 'Se p então q'.

Na verdade, a estrutura condicional "Se p então q" é conhecida como implicação lógica. Ela é uma forma de expressar uma relação entre duas proposições, onde p é a proposição antecedente e q é a proposição consequente. A implicação lógica é verdadeira quando p é verdadeiro e q também é verdadeiro, ou quando p é falso. Caso contrário, a implicação é falsa.