2.
Definir, previa revisión Bibliográfica una proposición.
Una proposición es un enunciado cuyo contenido está
sujeto a ser calificado como "verdadero" o "falso", pero
no ambas cosas a la vez.
Toda proposición tiene una y solamente una
alternativa.
1:
Verdadero
0:
Falso
3.
Llamaremos valor lógico de una proposición, el
cual denotaremos por VL, al valor1 si la
proposición es verdadera; y 0 si es falsa.
Como ejemplo de las proposiciones anteriores,
podemos decir que VL(P)=1, VL(q)=0
5.
Analizaremos cómo las formas proposicionales son
fórmulas veritativo funcionales, o sea, de qué modo son
susceptibles de adoptar uno u otro valor de verdad según
las proposiciones simples que contengan sean verdaderas
o falsas y según el significado de las conectivas que las
unen. Dentro de la lógica simbólica, que se vale de
símbolos para analizar razonamientos y sus partes, se
encuentra la lógica proposicional. La lógica proposicional
simboliza, generalmente con letras minúsculas del
alfabeto (p, q, r, s, por ejemplo) las denominadas
proposiciones simples o atómicas que constituyen las
partes de ciertas oraciones más complejas. Por ejemplo,
en la oración "llueve y hace frío" nos encontramos con dos
proposiciones simples ("llueve" es una y la otra "hace frío")
que se encuentran unidas por una conectiva lógica llamada
conjunción.
6. El modo cómo se unen obtenemos una expresión que se
denomina forma proposicional, y a veces algo equívocamente
forma de enunciado. En la nomenclatura habitual de la lógica
proposicional se simbolizaría p . q (que se lee "p y q"), siendo
el puntito el símbolo de la mencionada conjunción.
Naturalmente, una forma proposicional puede ser más
compleja, como la que resultaría de simbolizar las
proposiciones atómicas de "si no llueve ni hace frío v o ya tu
casa o al cine", por ejemplo. Pero dejaremos para otra
ocasión la simbolización para intentar clarificar el significado
y alcance de una forma proposicional. Se dice que éstas son
expresiones "veritativo funcionales", o que una forma
proposicional es función de verdad de las proposiciones
simples o atómicas que contiene y del significado de las
conectivas lógicas que las vinculan. Esto puede parecer
complejo, pero no lo es realmente. Que una cierta forma
proposicional es tal mencionada cosa significa que su valor
de verdad (que“ llueve y hace frío" sea una expresión
verdadera o falsa dependerá de dos cosas: si sus elementos
componentes son verdaderos o falsos (p y q respectivamente)
y del significado de las conectivas que las vinculan.
7.
El modo cómo se unen obtenemos una expresión
que se denomina forma proposicional, y a veces
algo equívocamente forma de enunciado. En la
nomenclatura habitual de la lógica proposicional
se simbolizaría p . q (que se lee "p y q"), siendo el
puntito el símbolo de la mencionada conjunción.
Naturalmente, una forma proposicional puede ser
más compleja, como la que resultaría de
simbolizar las proposiciones atómicas de "si no
llueve ni hace frío voy a tu casa o al cine", por
ejemplo. Pero dejaremos para otra ocasión la
simbolización para intentar clarificar el
significado y alcance de una forma
proposicional.
8.
Se dice que éstas son expresiones "veritativo
funcionales", o que una forma proposicional es
función de verdad de las proposiciones simples o
atómicas que contiene y del significado de las
conectivas lógicas que las vinculan. Esto puede
parecer complejo, pero no lo es realmente.
Que una cierta forma proposicional es tal
mencionada cosa significa que su valor de verdad
(que“ llueve y hace frío" sea una expresión verdadera
o falsa dependerá de dos cosas: si sus elementos
componentes son verdaderos o falsos (p y q
respectivamente) y del significado de las conectivas
que las vinculan.
9.
El significado de la conjunción es que es
verdadera únicamente cuando las dos partes que
une son verdaderas. Por ejemplo, la oración “el la
Luna es un satélite y gira alrededor de marte" es
una oración falsa, porque "la Luna es un satélite"
es verdadera (sería p) pero "la Luna gira
alrededor de Marte" es una proposición simple
falsa, por lo que la conjunciones falsa. "una silla
es un mueble y tiene patas" es una oración
verdadera. Entonces dada cualquier forma
proposicional de la forma "p . q", ella sólo será
verdadera cuando p, sea lo que fuere que
simbolice, es verdadera y q también.
10.
En cualquier otro caso será falsa (Verdadero/Falso;
Falso/Verdadero; Falso/Falso).Diferentes formas
proposicionales, con diferente estructura interna y
diferentes conectivas tendrán distintos modos de poder
ser verdaderas o falsas, dependiendo de los dos
aspectos mencionados, pero una vez determinado si p,
q, r, etc. Son verdaderas o falsas y una vez advertidas
las conectivas que las unen (cuyo significados los
lógicos conocen y los estudiantes deben asimilar),
queda determinado por completo el valor de verdad de
la expresión total.
11.
Método directo
En matemática Si n es un par entero.
Demostrar, en forma directa el siguiente
teorema Si n es par, entonces n 2 es par n
es par n es par.