Autor Tema: Interpretación de una fórmula

0 Usuarios y 1 Visitante están viendo este tema.

25 Julio, 2021, 09:31 pm
Leído 374 veces

Álvaro Soler

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 5
  • País: es
  • Karma: +0/-0
Hola,¿cómo se interpretaría la fórmula \( \exists{x}[Px\rightarrow{(Qx\rightarrow{Rx})} \)] en lógica de clases.Al modo en que la fórmula \( \exists{x}[Px] \) se traduce en lógica de clases como "la intersección entre la clase sobre la que varía la variable \( x  \) y \(  \{x|Px\} \) no es la clase vacía"
Corregido el \( \LaTeX \)