Tablasdeverdad

PREDICADO

Los predicados son sentencias abiertas, en las que se incluyen una o más variables. También se les llama función proposicional. Estos enunciados no son ni verdaderos ni falsos, si no seespecifican los valores de las variables.
Un predicado se convierte en una proposición cuando todas las variables que aparecen en él, se remplazan por opciones permisibles del universo de discurso.Los predicados se representan por símbolos del tipo p(x), q(x) o p(x,y), q(x,y,z), etc.

Si p(x) = x > 100, p(x) se convierte en proposición al sustituir x por algún número natural.
p(101)es Verdadera.
p(50) es Falsa.

ARGUMENTO

En lógica, un argumento es un conjunto de premisas seguidas por una conclusión.1 Un argumento puede ser sólido (valido y con premisas verdaderas) oser persuasivo de alguna otra manera.2 Sin embargo, un argumento no necesita ser sólido o persuasivo para ser un argumento.
Aunque ni la solidez ni la persuasión son esenciales para que algo sea unargumento, en general se argumenta con la intención de persuadir a alguien de la verdad de una conclusión, y producir un argumento sólido es una buena manera de lograrlo.

TABLAS DE VERDAD
Estastablas pueden construirse haciendo una interpretación de los signos lógicos,Ø, Ù, Ú, ®, «,como: no, o, y, si…entonces, sí y sólo si, respectivamente. La interpretación corresponde al sentido que estasoperaciones tienen dentro del razonamiento.
Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática. En consecuencia, las tablas de verdad constituyenun método de decisión para chequear si una proposición es o no un teorema.
Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa.Negación: El valor de verdad de la negación es el contrario de la proposición negada.
P |  P |
1 | 0 |
0 | 1 |

Disyunción: La disyunción solamente es falsa si lo son sus dos componentes....