Respostas
Veja bem: a lógica de predicados trabalha com sentenças declarativas separadas em predicado e sujeito (indivíduo). Desse modo, podemos definir que um predicado qualquer P significa 'x é peixe' e o indivíduo c tem o nome de 'Cleo'. Pc significaria, portanto, 'Cléo é peixe'.
O mesmo pode ser feito para essas frases, tanto na lógica de predicados quanto na lógica proposicional. Por 'forma lógica', acredito que o exercício peça para traduzir para a linguagem formal, correto?
a) Se é estudante, então frequenta a escola.
Podemos dizer que a proposição p significa 'é estudante' e a proposição q 'frequenta a escola'. Em lógica proposicional teremos: (p ⇒ q)
b) A maioria dos alunos de recuperação são preguiçosos.
Por ser uma sentença declarativa, podemos simbolizá-la somente p.
c) Não há um só professor que não seja preparado.
Por ser uma sentença declarativa somente, podemos sinalizar com r.
d) Quase todos os cachorros são vira latas.
Novamente, esta é uma sentença declarativa, e podemos formalizá-la com a letra t.