Estudiante
ALGEBRA PROPOSICIONAL
1.1 Definiciones Previas:
- Un término es una palabra o un grupo de palabras (o un símbolo) que utilizamos para referirnos a uno o más objetos.
- Es singular cuando el término se refiere a un solo individuo.(nombre propio)
- Es general cuando el término se refiere a todos los objetos de una clase.(común)
Ejemplos:Singular: José, Lambayeque, el sol, 125, A, etc.
General: persona, ciudad, estrella, numeral, letra, etc.
- Una proposición es una expresión aseverativa que tiene la propiedad de poder ser calificada como Verdadera o como Falsa, aún cuando no se sepa el valor de verdad .
- Una proposición simple es una expresión que consta de uno o varios sujetos ( que necesariamentetienen que ser términos singulares) y de un predicado que indica una propiedad de dichos sujetos.
Ejemplo:
Juan es padre de Luis
x está comprendido entre 0 y 1
N, Z, Q y R son conjuntos numéricos.
4 es un número par.
Son múltiplos de 3, a, b, c, d.
Observe que los sujetos están subrayados y son todostérminos singulares.
-Una proposición no es simple si el sujeto no es un término singular
Ejemplo:
Todo es explícito
Algo es metrizable
Los números pares son divisibles por tres.
El centro de nuestro primer capítulo será por ahora: la PROPOSICION.
Veamos esquemáticamente donde se ubica en el contexto de la Lógica:
Lógica Formal
Teoríade las Proposiciones
Sintaxis Semántica
Estructura Conceptos
Y para la
Composición InterpretaciónDe las
PROPOSICIONES
Ejemplo I:
Sea la proposición:
x está comprendido entre 0 y 1.
En símbolos matemáticos escribimos:
0 < x < 1
Analicemos la sintaxis y la semántica:
Sintaxis: Tiene la estructura de una proposición simple .Denotémosla por “ p “.
Ahorapodemos escribir:
0 < x [pic] x < 1
la cual tiene una estructura de una proposición compuesta , resultante de la conjunción de dos proposiciones simples, a saber:
0 es menor que x .Denotada : “q”
x es menor que 1 Denotada : “r “.
Esto es:
Semántica: Supongamos quela variable x es el número real “5” (x = 5).
Sustituimos en la proposición simple el valor asignado a la variable y la expresión se convierte en :
“p” : 5 está entre 0 y 1. Evidentemente su valor de verdad es Falso.
Por otro lado:
“ q “ : 0 es menor que 5 . Tiene por valor de verdad , Verdadero.“ r “ : 5 es menor que 1 . Cuyo valor de verdad es Falso .
La composición resultante será la conjunción : “ q [pic] r “ es también Falsa.
Esquemáticamente esto es : “ p “ “ q [pic] r “
F V [pic] F
FF
Semánticamente ambas estructuras se dicen equivalentes, aunque sintácticamente son diferentes.
- Dos proposiciones se dicen que son equivalentes cuando tienen la misma Tabla de Verdad
RECORDEMOS:
Sean “ p “ y “ q ” , dos proposiciones. Sean los conectivos:
conjunción, disyunción, condicional, bicondicional, negación
[pic] , [pic] ,...
Regístrate para leer el documento completo.