Matematica

mProposiciones

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 mediante variablesproposicionales simbolizadas mediante letras. Con la combinación de variables proposicionales y conjunciones se obtienen fórmulas sentenciales o sentencias. Estas pueden ser:

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

Clasificación 
Proposiciones Simples o Atómicas: Son las quecarecen totalmentede conectores lógicos; sean monádicos (como la negación) y binarios (que implican dos proposiciones) y que, por lo tanto, son inseparables. En este grupo se encuentran las proposicionesrelacionales y las predicativas.
Proposición Predicativa: Es aquella en la cual se afirma o atribuye una característica respecto de un objeto.
 Ejemplo: En arráez es un portal educativo peruano.Proposición Relacional: Es aquella en la cual existe relación de dependencia, estableciendo un enlace entre dos o más objetos.
 Ejemplo: la Macintosh  fue comprada por America On Line.
ProposicionesCompuestas o Moleculares: Son aquellas que tienen una o más conectores lógicas; 
Proposiciones Negativas: Son proposiciones que presentan un conector monádico, por que afecta mayormente  a unaproposición simple, cambiando su valor de veradad
Símbolos: ~A ; -A ; ¬A

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad. Negación
|
La negación esun operador que opera. sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.

[editar]Conjunción
| |
La conjunción es un operador que opera sobre dosvalores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdadverdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es...