Diferencia entre revisiones de «Matemáticas/Lógica/Proposición»

Contenido eliminado Contenido añadido
Línea 38:
Para indicar que dos proposiciones están conectadas, la primera implicando la segunda se utiliza el símbolo <math>\Rightarrow</math> , llamado conectivo condicional, la primera proposición es llamada antecedente o hipótesis y la segunda es consecuente o conclusión.
A la proposición que resulta de unir dos proposiciones por medio del conectivo condicional, le llamaremos proposición condicional.
p <math>\Rightarrow</math> q tendrá un valor de verdad falso solamente cuando el antecedente (p) es verdadero y el consecuente (q) es falso; en los demás casos diremos que p <math>\Rightarrow</math>q es verdadero.
Entonces la implicacion resulta de que ambos tienen que ser iguales para que sea verdadero, de lo contrario seria falso....
 
== Bicondicional, doble implicación ==