"Luis y Paulo son primos" es una relación binaria, por lo que esa "y" no es una conjunción, solo se está usando para enumerar los términos "Luis" y "Paulo" relacionados por la relación "ser primos", resumo esto escribiendo "Luis y Pablo son primos" como \( \pi (L,P) \).
Siguiente a eso, viene una disyunción "o", que conecta \( \pi (L,P) \) con "no es cierto que, si Luis y Paulo son estudiantes universitarios, estudien la misma carrera", nota que en ésta última expresión, hay una negación y una implicación (si α, β), así que puede escribirse como \( \neg \) ("Luis y Paulo son estudiantes universitarios" \( \rightarrow \) "estudian la misma carrera").
La propiedad "ser estudiante universitario" es una cualidad individual que ambos poseen, así que "Luis y Paulo son estudiantes universitarios" es lo mismo que "Luis es estudiante universitario y Paulo es estudiante universitario", aquí hay una conjunción, luego renombrado como ( \( \epsilon (L) \land \epsilon (P) ) \), tenemos en total que:
\( \pi (L,P) \lor \neg ( ( \epsilon (L) \land \epsilon (P) ) \rightarrow \) "estudian la misma carrera" )
"estudian la misma carrera" declara la igualdad entre 2 términos, la carrera de Luis y la carrera de Paulo, es decir, c(L)=c(P), finalmente, la fórmula completa queda como:
\( \pi (L,P) \lor \neg ( ( \epsilon (L) \land \epsilon (P) ) \rightarrow ( c(L) = c(P) ) ) \)
De donde, leyendo la cadena de izquierda a derecha, se ven los conectores \( \lor \), \( \land \) y \( \rightarrow \) en ese orden (cuyo orden también coincide con lo escrito e el párrafo), siendo los conectivos de disyunción, conjunción e implicación respectivamente.
