[trabajo.discreta]

\( (\forall x)(H(x)\to R(x)) \) donde el predicado \( H \) significa humanos, el predicado \( R \) significa respirar y \( x \) es un elemento de un dominio general que podría ser el de las personas o cualquier subconjunto deseado.

No sé si está bien expresado esta fórmula escrita en lógica proposicional. Si alguien me puede dar más ejemplos, con experiencia y sepa del tema, se lo agradecería. Gracias!
Mensaje corregido desde la administración.

Bienvenido al foro.

Recuerda leer y seguir  las reglas del mismo así como el tutorial del LaTeX para escribir las fórmulas matemáticas correctamente.

[Luis Fuentes]

Hola

\( (\forall x)(H(x)\to R(x)) \) donde el predicado \( H \) significa humanos, el predicado \( R \) significa respirar y \( x \) es un elemento de un dominio general que podría ser el de las personas o cualquier subconjunto deseado.

No sé si está bien expresado esta fórmula escrita en lógica proposicional. Si alguien me puede dar más ejemplos, con experiencia y sepa del tema, se lo agradecería. Gracias!

Si no me equivoco eso es en lógica de primer orden, no en lógica proposicional. Por lo demás si está bien escrito.

Saludos.

P.D. Te puede orientar:

https://www.cs.us.es/~jalonso/cursos/li-12/temas/tema-7.pdf