///
Os conectivos ^ e -> indicam as operações lógicas de conjunção e de condicional, respectivamente. Considere as proposições:
p: Luciana estuda;
q: Luciana presta atenção às aulas;
r: Luciana é aprovada no ENEM.
A descrição, em linguagem natural, da proposição (p ^ q) -> r, é: