Es tener la certeza de algo o asegurar una cosa,

con expresin clara y sin tergiversacin.

La verdad es la afirmacin de algo que
corresponde con la realidad.
La palabra proposicin es la descripcin de mecanismo
de proponer, es decir, este trmino se refiere a la
mencin o idealizacin de una propuesta ejecuta por
una persona a un individuo u a una poblacin entera,
As, se logra obtener la atencin del pblico deseado y
que los mismos tomen conocimientode lo propuesto,
para que puedan llegar a una decisin en comn entre
el que realiza la propuesta como tambin al que se le
realiza o a quien recibe la propuesta; captando as
la intencin que posee la otra persona.
Una Variable es un objeto con cierta identidad, pero el medio que lo rodea lo
obliga a variaren torno a las condiciones que se presentan. Una de
las aplicaciones que ms se le da al trmino es en la matemtica, ya que,
cuando se nos presenta una ecuacin, es con el fin de darle un valor fijo y
exacto a una o ms variables, esta condicin, permiten que la resolucin de
problemas sean ms sencillos. Las ecuaciones son las vas ms sencillas
de operar matemticamente situaciones complejas, en las que se deben
determinar cantidades exactas para valores precisos. Las variables son por lo
general, las respuestas que se le dan a los problemas.
El termino proviene del latn Variabilis, el mismo hace referencia a
Variedad, con esto hacemos hincapi en la idea de que las variables no son
ms que alternativas para tomar un camino, claro est, a partir de aqu el
concepto es netamente abstracto,Las variables se diversifican de acuerdo al
uso que se le den, por ejemplo, si se tiene el valor nominal para una variable
no es necesaria la bsqueda de su valor a travs de ninguna funcin o
expresin que me indique como hacerlo.
 CONJUCIN ^
La conjuncin es un operador, que acta sobre
dos valores de verdad, tpicamente los valores
de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir, es verdadera
cuando ambas son verdaderas
 DISYUNCIN V
La disyuncin es un operador lgico que acta
sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero
cuando una de las proposiciones es verdadera, o
cuando ambas lo son, y falso cuando ambas son
falsas.
 IMPLICACION O CONDICIONAL
El condicional material es un operador que
acta sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones,
devolviendo el valor de falso slo cuando la
primera proposicin es verdadera y la segunda
falsa, y verdadero en cualquier otro caso.
 EQUIVALENCIA, DOBLE IMPLICACIN
O BICONDICIONAL
El bicondicional o doble implicacin es un
operador que funciona dando el valor de verdad
cuando ambos valores son iguales y dando el
valor de falsedad cuando ambos valores son
diferentes La tabla de verdad del bicondicional
es la siguiente: