Pregunta de Razonamiento Lógico - UNT 2023-II EXTRAORDINARIO

Razonamiento Lógico

El enunciado: "En absoluto se da que innegablemente que, ningún no mentiroso tampoco es sincero", se formaliza:

A \[- \forall _{x}(- M_{x} \rightarrow S_{x})\] B \[- \forall _{x}( M_{x} \rightarrow - S_{x})\] C \[ \forall _{x}( S_{x} \rightarrow M_{x})\] D \[- - - \forall _{x}(- M_{x} \rightarrow - - S_{x})\] E \[- - - \forall _{x}(- M_{x} \rightarrow - S_{x})\]