Diferencia entre revisiones de «Matemáticas/Lógica/Proposición»
Contenido eliminado Contenido añadido
rv |
|||
Línea 1:
Una expresión que deba ser verdadera o falsa pero que no pueda ser ambas, la llamaremos una proposición.
==== Proposiciones abiertas ====
Existen algunas afirmaciones de las cuales no podemos decir inicialmente si son falsas o verdaderas por intervenir en ellas una variable; se les llaman proposiciones abiertas, son expresiones que contienen una variable y que al ser sustituidas dicha variable por un valor determinado, hace que la expresión se convierta en una proposición, pero sin alterar el orden. <br />
==== Dominio de la variable ====
El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposición abierta, lo llamaremos el Dominio de la variable.
El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la proposición abierta p(x), lo llamaremos el conjunto solución de la proposición abierta p(x).
== Proposición conjuntiva ==
| |||