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

 

== Proposición disjuntiva ==

Para indicar que dos proposiciones están conectadas con la letra "o" se utiliza el símbolo <math>\or</math> , llamado conectivo disyuntivo.

A la proposición que resulta de unir dos proposiciones por medio del conectivo disyunción (<math>\or</math>), la llamaremos proposición disyuntiva p <math>\or</math> q.

 

== Implicación o Condicional ==

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.

 

== Bicondicional, doble implicación ==

A la proposición que resulta de unir dos proposiciones por medio del conectivo bicondicional (<math>\Leftrightarrow</math>), la llamaremos proposición bicondicional.

<br />