Primer aporte individual

La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una
representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo
que nos rodea. La lógica proposicional permite el razonamiento, a través de un mecanismo que
primero evalúa oraciones simples y luego oraciones complejas, formadas mediante el uso de
conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la
veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las
sentencias simples que la conforman.

Una proposición es una oracion simple que tiene un valor asociado ya sea de verdadero (V), o
falso (F). Por ejemplo:

Hoy es Viernes

Ayer llovió

Hace frío

La lógica proposicional, permite la asignación de un valor verdadero o falso para la oracion

completa, no tiene facilidad para analizar las palabras individuales que componen la oracion. Por
este motivo, la representación de las oracines del ejemplo, como proposiciones, sería:

hoy_es_Viernes

ayer_llovió

hace_frío

La proposiciones pueden combinarse para expresar conceptos más complejos. Por ejemplo:

hoy_es_Viernes y hace_frío.

A la proposición anterior dada como ejemplo, se la denomina fórmula bien formada (well-

formed formula, wff). Una fórmula bien formada puede ser una proposición simple o compuesta
que tiene sentido completo y cuyo valor de veracidad, puede ser determinado. La lógica
proposicional proporciona un mecanismo para asignar valores de veracidad a la proposición
compuesta, basado en los valores de veracidad de las proposiciones simples y en la naturaleza de
los conectores lógicos involucrados.
CUANTIFICADORES
Los cuantificadores son símbolos utilizados para cuantos elementos de un conjunto cumplen con
cierta propiedad, cuando utilizamos funciones proposicionales podemos incorporar dos nuevos
símbolos denominados cuantificadores
 
Cuantificador universal y existencial
Existen especialmente en matemáticas, expresiones que contienen variables tales como x, y, z,
etc., para las cuales su valor de verdad depende del valor que tome la variable.
 
Ejemplo x + 1 = 2
 
Esta proposición es verdadera si x = 1 y falsa si x ¹ 1. A estas proposiciones se les
llama “Proposiciones abiertas”.
Hasta el momento se han tratado proposiciones a las cuales se les puede asignar un valor de
verdad, ya sea falso o verdadero, ahora en esta sección, se estudia la lógica de proposiciones
abiertas, para ello, se asigna una expresión llamada cuantificador, que permite restringir los
valores de las variables, de tal forma que la proposición toma un solo valor de verdad para dicha
restricción.
 
En el ejemplo, la proposición se puede enunciar de las siguientes formas:
1. Existe x = 1 tal que x + 1 = 2. Proposición verdadera
2. Para todo x ¹ 1, se tiene que x + 1 = 2. Proposición falsa
Veamos la representación simbólica de estas dos expresiones es la siguiente:
1. (Ǝx=1) / (x+1= 2) Verdadera
2. (Ǝx¹1) / (x+1= 2) Falsa

Simbólicamente, en el primer caso el cuantificador recibe el nombre de cuantificador existencial,

pues está informando que existe un sólo valor para x que hace verdadera la proposición dada,
mientras que en el segundo caso el cuantificador se llama universal porque afirma que todos los
valores de x diferentes de 1 hacen la proposición falsa, es decir, que un valor de x diferente
de 1 convierte x + 1 = 2 en proposición falsa.
 
Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama cuantificador
universal y se simboliza por “∀”
Ejemplo
(∀x = 1) / (x + 4 = 4 + x) Significa que todo x verifica la ecuación
 
La palabra algunos(s) significa que por lo menos uno verifica la condición. Los cuantificadores
de la forma existe por lo menos uno, y se llaman cuantificadores existenciales y se representan
así: “Ǝ”.
Ejemplo
(Ǝx = 1) / (2x + 2 = 5)

CUALIDAD Y CANTIDAD DE LAS PROPOSICIONES CATEGÓRICAS

Cada proposición categórica de forma estándar tiene una cualidad y una cantidad.
Para desarrollar este concepto hay que definir la clase como una colección de objetos que tienen
una o varias características en común, coincidiendo con la idea intuitiva de conjunto, de allí que
para representar sus relaciones de continencia total o parcial como de disyunción usemos los
diagramas de Venn.
Las proposiciones categóricas son consideradas afirmaciones o aserciones acerca de clases.
Así, una proposición categórica puede afirmar o negar que una clase esté incluida en otra.
Por ejemplo, de la clase poetas y filósofos podríamos afirmar:
_ Todos los poetas son filósofos
_ Algunos poetas son filósofos
_ Ningún poeta es filósofo
_ Algunos poetas no son filósofos
 
Cualidad Afirmativa o Negativa
La cualidad de una proposición es afirmativa o negativa, según el sujeto, completa o
parcialmente, afirme o niegue la inclusión de la clase. Por lo tanto las proposiciones afirmativas
universales y particulares tienen cualidad afirmativa, en cambio las proposiciones negativas
universales y particulares tienen cualidad negativa.
 
Cantidad Universal o Particular
La cantidad de una proposición es universal o particular según que la proposición se refiera a
todos los miembros o solamente a algunos de la clase designada por el término sujeto. Así, las
proposiciones universales afirmativas o negativas son universales de cantidad y las proposiciones
particulares afirmativas o negativas son particulares de cantidad.
 
El tipo especial se refiere a que las proposiciones pueden ser
Universales (afirmativas o negativas) o
Particulares (afirmativas o negativas)

Por lo tanto, se puede afirmar que hay cuatro formas estándar de proposiciones categóricas:

Proposición Categórica Universal Afirmativa
Proposición Categórica Universal Negativa
Proposiciones categóricas Afirmativa Particular
Proposiciones categóricas Negativa Particular
·          Todos los poetas son filósofos
·         Ningún poeta es filósofo
·         Algunos poetas son filósofos
·         Algunos poetas no son filósofos
Segundo aporte individual
Hilder ha comenzado a revisar los productos de la Fase Individual del Trabajo Colaborativo Uno
del Curso Pensamiento Lógico y Matemático, para lo cual se encuentra observando los primeros
aportes hechos por los integrantes del grupo colaborativo 816, pero en este grupo sólo han
participado tres integrantes. A Hilder se le ha generado una confusión por la selección de aportes
establecida por Pablo, Jaime y Miguel; para aclarar cual operación entre conjuntos escogió cada
uno de ellos, hace el siguiente análisis: “Pablo selecciona la operación de unión entre conjuntos,
si Jaime selecciona la intersección de conjuntos. Miguel seleccionará la operación de diferencia
de conjuntos o Pablo no seleccionará la unión entre conjuntos. O Jaime no selecciona la
operación de intersección entre conjuntos o Miguel no ha seleccionado la operación de diferencia
entre conjuntos. Por consiguiente, Jaime no seleccionó la intersección entre conjuntos”. ¿Es
correcto este análisis?

p: pablo selecciona la operación de unión entre conjuntos

q: Jaime selecciona la intersección de conjuntos
r: Miguel seleccionara la operación de diferencia de conjuntos

(p q) (r v ~q) v (~q v ~r)

P Q R ~p ~q ~r (p q) (r v (~q v (r v ~q) v (~q v

~q) ~r) ~r)
v v v f f f v v f v
v v f f f v v f v v
v f v f v f f v v v
v f f f v v f f v v
f v v v f f v v f v
f v f v f v v v v v
f f v v v f v v v v
f f f v v v v v v v

Es una Tautología
Tercer aporte individual

E C
P1: Todos los egresados de programas del SENA pueden estudiar por convenio en la UNAD =v

C
E

T C
P2: Algunos jóvenes técnicos no pueden estudiar por convenio en la UNAD. = v

C
T

C: Algunos jóvenes técnicos no son egresados del SENA.= v

E C