Una proposicin matemtica es una expresin algebraica que puede acarrear dos valores: ser verdadera o ser falsa,

aunque nunca ambas

a la vez. Denominadas a travs de letras minsculas, las proposiciones matemticas tienen un valor de verdad (que ser la veracidad o la
falsedad de su enunciado).

Argumento

El ingreso de una funcin: una variable que afecta al resultado de una funcin. Ejemplo: si una funcin que obtiene la altura de un rbol es:
h(ao) = 20 ao, entonces"ao" es el argumento de la funcin "h".

Sentido Numrico Se refiere a: La comprensin general sobre los nmeros y las operaciones. La habilidad para usar este entendimiento
flexiblemente para hacer juicios matemticos y para desarrollar estrategias para la solucin de problemas complejos. Al significado de los
nmeros.12 dic. 2013

Concepto de lgica matemtica. La lgica matemticaestudia los sistemas formales en relacin con el modo en el que codifican conceptos
intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin.

Razonamiento Matemtico-Lgico. El razonamiento es la Capacidad para realizar operaciones de carcter matemtico con fluidez y
exactitud, esta capacidad es necesaria desarrollarla en las personas para que puedan darle solucin a problemas que se les presente en la
vida cotidiana.

Tabla de verdad de la Negacin

La negacin ~ que se lee ~p, cambia el valor de la variable que se niega: slo es
verdadera si es falsa y es falsa si es verdadera.

Tabla de verdad de la disyuncin

La disyuncin de la proposiciones simples pvq (se lee: p o q) es falsa si ambas
son falsas. El operados lgico disyuncin tambin se denomina OR y representa la
suma lgica.
Tabla de verdad de la conjuncin
La conjuncin de dos proposiciones simples p^q (se lee p y q),slo es
verdadera si ambas proposiciones son verdaderas. La conjuncin (^),
es una conectiva lgica que se denomina el operador lgica AND y
representa el producto lgico.

Tabla de verdad del condicional material (implicacin)

En la implicacin el primer termino se denomina antecedente o
hiptesis y el segundo consecuente o tesis. La implicacin es falsa
si el antecedente es verdadero y el consecuente es falso. La
implicacin no tiene denominacin especial como los casos
anteriores pero puede expresarse en funcin de estos.
La implicacin es una conectiva lgica que se denotara con una
flecha >.
p > q, se lee: p implica q, si p, entonces q, p es suficiente para
q, o tambin, q es necesario para p.
Tabla de verdad del bicondicional (equivalencia)
La equivalencia es una conectiva lgica.
pq, se lee: p equivalente con q; p si y solo si q; p es necesario y
suficiente para q.
La equivalencia es verdadera si ambas proposiciones son
verdaderas o si ambas son falsas.