jueves, 2 de enero de 2020

cuantificadors lógics

[∀x][ P(x) ] <==> ( P(x_{1} ) ∧...(n)...∧ ( P(x_{n}) )
[∃x][ ¬P(x) ] <==> ( ¬P(x_{1} ) ∨...(n)...∨ ( ¬P(x_{n}) )


[∃x][ P(x) ] <==> ( P(x_{1} ) ∨...(n)...∨ ( P(x_{n}) )
[∀x][ ¬P(x) ] <==> ( ¬P(x_{1} ) ∧...(n)...∧ ( ¬P(x_{n}) )
Publicado por en
Etiquetas:

No hay comentarios:

Publicar un comentario

Suscribirse a: Enviar comentarios (Atom)