A notação BNF (Backus-Naur Form) é bastante utilizada para representar gramáticas de linguagens, conjuntos de instruções e mesmo protocolos de comunicação. Nela os símbolos não terminais são representados entre os sinais < e >; o símbolo de derivação na regra de produção é substituído pelo operador ::=; enquanto cada uma das diferentes possibilidades de derivação de um símbolo são agrupadas em uma única produção e separadas através de uma barra vertical.

A gramática a seguir foi descrita em BNF e apresenta a sintaxe das sentenças de uma lógica proposicional sobre o alfabeto {a,b,c} com os conectivos básicos e parênteses.

<P> ::= <P> « <Q> | <Q>

<Q> ::= <Q> ® <R> | <R>

<R> ::= <R> Ú <S> | <S>

<S> ::= <S> Ù <T> | <T>

<T> ::= Ø<T> | a | b | c | “(“ <P> “)”

Considerando ainda a sentença: (a ® b) « (Øa Ú b), analise cada uma das afirmativas a seguir e assine a que julgar incorreta.