Comunicacion

PROPOSICIÓN MATEMÁTICA

Formalmente, se define una proposición como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediantevariables proposicionales simbolizadas mediante letras. Con la combinación de variables proposicionales y conjunciones se obtienen fórmulas senténciales o sentencias. Estas pueden ser:

* Tautología:es la sentencia que es verdadera.
* Contradicción: es la sentencia que es falsa.
* Indeterminación: es la sentencia que ni es verdadera ni falsa.

LEYES FUNDAMENTALES
Negación:
|
Lanegación es un operador que opera sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.

Conjunción:
| |
La conjunción es un operador que opera sobredos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso.Disyunción
| | |
| | |
La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor deverdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

Implicación o Condicional:
El condicional material es un operador que opera sobre dos valores deverdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otrocaso.

Bi-condicional:
La bi-condicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor deverdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.

TABLA DE LA VERDAD

p | q | p q | p q | p ˆ q | p ˇ q |
V | F...