Documentos de Académico
Documentos de Profesional
Documentos de Cultura
GRUPO: 424
GRUPO: 424
Luzmila Rojas E
TUTORA
cules
de
las
siguientes
expresiones
son
a) el Gato come ratones; es una proposicin porque se puede afirmar si el Gato come o no
ratones.
b) Cul es tu nombre? No es una proposicin ya que no se puede afirmar si la pregunta es verdadera
o falsa.
c) Hola! No es una proposicin, es una exclamacin que indica saludo, por lo tanto no se puede
determinar su valor de verdad
2. Establecer el valor de verdad de las siguientes proposiciones.
a) q: cinco ms cuatro es igual a ocho (5 + 4 = 8); es una proposicin falsa, porque cinco ms
cuatro es igual a nueve
b) r: 2 elevado a la 3 es 8; 23 = 8; la proposicin es verdadera porque 2x2x2 = 8
Proposicin.
Una proposicin es una oracin con valor referencial o informativo, de la cual se puede predicar
su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.
La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser verdadera
o falsa empricamente, sin ambigedades.
PROPOSICIONES
SIMPLES
Una proposicin simple es una afirmacin conformada por una sola oracin gramatical. La
proposicin r: Un tringulo equiltero es aquel cuyos lados tienen la misma medida, es una
proposicin simple, puesto que est conformada por una sola oracin.
Proposiciones Simples:
Son aquellas que no tienen oraciones componentes afectadas por negaciones (no) o
trminos de enlace como conjunciones (y), disyunciones (o) o implicaciones (si . . .
entonces). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no entre
oraciones.
EJEMPLOS:
Simples:
La ballena es roja.
La raz cuadrada de 16 es 4.
Gustavo es alto.
Teresa va a la escuela.
Ejemplos:
a) p: 5 + 7 = 12; Es una proposicin simple ya que est formada por una sola oracin
b) q: Colombia est ubicada en Suramrica y Canad est ubicada en Norteamrica; No es una
proposicin simple ya que est formada por dos oraciones gramaticales.
Negacin de una proposicin simple:
Para negar una proposicin simple, se le antepone la expresin no es verdad que o se le incluye
un no para que cambie su significado a exactamente lo contrario. El smbolo que la negacin es
~, se usa as: ~p y se lee como no p
Si la proposicin es q: Bogot est a 2600 metros ms cerca de las estrellas, se niega la
proposicin q como ~q y se lee Bogot no est a 2600 metros ms cerca de las estrellas.
Cuando se niega una proposicin simple se cambia su valor de verdad.
Ejemplos:
PROPOSICIONES COMPUESTAS
Una proposicin compuesta es una afirmacin conformada por dos o ms proposiciones simples
que se conectan usando las palabras y, o, si entonces, no y si y solo si
As que si tiene dos proposiciones simples como:
p: Simn es un hombre trabajador
q: Es una persona amigable
Se puede generar una proposicin compuesta; simn es un hombre trabajador y es una persona
amigable
Proposiciones Compuestas:
Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o
trminos de enlace entre oraciones componentes.
CONECTIVOS LGICOS
Los conectivos lgicos o conectores son palabras que vinculan las ideas expresadas en dos o ms
proposiciones simples, para comunicar algo ms complejo.
EJEMPLO:
Escribir las siguientes proposiciones compuestas usando los smbolos lgicos
a). Si la figura es un cuadriltero entonces tiene cuatro lados.
Las proposiciones simples son:
p: la figura es un cuadriltero
Compuestas:
La ballena no es roja.
Gustavo no es alto.
Teresa va a la escuela o Mara es inteligente.
4 es menor que 8 o 6 es mayor que 10.
El 1 es el primer nmero primo y es mayor que cero.
El 7 es mayor que 5 y 7 es menor que 10.
Si Yolanda es estudiosa entonces pasar el examen.
Si corro rpido entonces llegar temprano.
Terminar rpido si y slo si me doy prisa.
Aprender Matemticas si y slo si estudio mucho
p = El nmero 2 es par
q = la suma de 2 + 2 es 4
entonces
p = El nmero ms grande es el 34
q = El tringulo tiene 3 lados
entonces
p^q: El nmero ms grande es el 34 y El tringulo tiene 3 lados
p: Hoy es mircoles
q: Maana ser jueves
TAUTOLOGIA
Una preposicin compuesta, es una tautologa si es verdadera para todas las asignaciones
de valores de verdad para sus proposiciones componentes. Dicho de otra manera, su
proposicin que la forma, sino de la forma en que estn establecidas las relaciones
sintcticas de unas con otras. Sea el caso:
CONTRADICCION
Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en
todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma,
su valor F no depende de los valores de verdad de las proposiciones que la forman, sino
de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el
caso:
CONTINGENCIA
Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser
verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso:
10
EJEMPLO DE TAUTOLOGIA
La expresin (p ^ q)
P
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
(p v r) es una tautologa
r
V
F
V
F
V
F
V
F
-r
F
V
F
V
F
V
F
V
p^q
V
V
F
F
F
F
F
F
P v-r
V
V
V
V
F
V
F
V
( p^q) ( p v r)
V
V
V
V
V
V
V
V
EJEMPLO DE CONTRADICCION
P ^ -P
P
V
F
-P
F
V
P ^ -P
V
V
EJEMPLO DE CONTINGENCIA
A ^ (BVC)
A
V
V
V
V
F
F
F
F
B
V
V
F
F
V
V
F
F
C
V
F
V
F
V
F
V
F
BvC
V
V
V
F
V
V
V
F
A ^ (B v C)
V
V
V
F
F
F
F
F
11
conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores, entre los
ms utilizados estn:
Cuantificador universal ( )
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 ecuacin
Proposiciones Categricas
Una Proposiciones categricas es un enunciado que consta de dos Proposiciones las cuales actan
una como sujeto y otra como predicado.
Ejemplos:
Ningn soltero es casado
Algunos Mazda no Son fabricados en Japn
Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de
lgica, conocida como aristotlica, tradicional, o
de
silogismos
categricos.
Existen cuatro clases de proposiciones categricas. Usando S y P como smbolos, estas
son:
Ejemplos:
Todos los poetas son filsofos
Ningn poeta es filsofo
Algunos poetas son filsofos
12
La parte del crculo S que esta fuera de P representa todos los S que no son P
Todo S es P
Escritura en Forma Lgica: (x )(SxPx)
Algn S es P
Algn P es S
Escritura en Forma Lgica: (x)(Sx Px)
4. Caso 4: Algn S no es P
13
Algn S no es P
Escritura en Forma Lgica: (x)(Sx Px)
Algn P no es S
Escritura en Forma Lgica: (x)(Px Sx)
Todos
EL SILOGISMO
Es el mtodo mediante el cual se realiza un razonamiento deductivo. El razonamiento deductivo
es el que se utiliza para determinar si un hecho o idea es cierto al compararlo con una idea o
conocimiento universal.
El silogismo est compuesto de dos premisas y una conclusin. Las premisas son la premisa
mayor y la premisa menor. La premisa mayor o premisa universal, es una idea universal, es decir,
una idea que contiene un atributo esencial, una verdad conocida o una afirmacin que se
considera verdadera y universalmente aceptada. La premisa mayor puede ser Universal
afirmativa: todos son; universal negativa: Ninguno es; particular Afirmativa: Algunos son
Particular negativa: Algunos no son. La premisa menor o premisa particular, es el hecho o idea
sobre el que queremos saber si es cierto o no y que comparamos con la premisa mayor. La
conclusin es el resultado de la comparacin entre la premisa mayor y la premisa menor.
La estructura de un silogismo es la siguiente:
Premisa Universal: Los planetas son redondos.
Premisa Particular: la tierra es un planeta.
Conclusin: La tierra es redonda.
Reglas del silogismo: Para hacer un silogismo correcto es necesario seguir ciertas reglas
para evitar errores.
La premisa mayor siempre debe ser una premisa universal. Esto significa que la premisa mayor,
que ser nuestro punto de comparacin, debe ser una idea que se sabe que es cierta y por ello
tiene valor Universal.
La premisa mayor y la premisa menor deben tener relacin. Esto es necesario, ya que aunque
tengamos una idea universal (Todos los mamferos toman leche) si la premisa menor no tiene una
relacin clara (me gusta el chocolate), no puede existir una conclusin vlida, incluso en
ocasiones no puede existir una conclusin.
14
15
16
EJEMPLO DE FALACIAS:
Platn era un gran filsofo
Todos los griegos eran grandes filsofos
Conclusin: Platn era griego
Cuentan una historia
Lo que la mayora cree es verdad
Conclusin: si todos lo creen es verdad
Luis es mortal
Un gato es mortal
Conclusin: Luis es un gato
El amor es ciego
Dios es todo amor
Conclusin: Dios es ciego.
Los carnvoros son cuadrpedos.
El caballo es cuadrpedo.
El caballo es carnvoro.
Segundo Aporte Individual:
Jennifer Muoz Chaux
1.Se han seleccionado tres estudiantes del curso de Pensamiento Lgico y Matemtico con el fin
de que puedan desplazarse a tres ciudades donde hay gran nmero de estudiantes matriculados en
el curso, con el fin de brindar apoyo en el manejo de las actividades B-Learninig, los tres
estudiantes seleccionados son de la ciudad de Pereira. En el proceso logstico, el Director de
Curso hace el siguiente anlisis:
17
p= Adriana va a Medelln
q= Mara va a Pasto
r= Laura va a Bucaramanga
[(p q) ^ (r v p) v (q v r)] q
p
T
T
T
T
F
F
F
F
q
T
T
F
F
T
T
F
F
r [(p q) ^ (r v p) v (q v r)] q
T
F
F
T
T
T
F
F
T
F
F
T
T
T
F
F
18
Si Catalina es mayor que Sandra, Sandra es mayor que Luis. Andrea es mayor que Carlos el
hermano de Luis, si Sandra es mayor que Luis. Por lo tanto, Si Catalina es mayor que Sandra,
Andrea es mayor que Carlos. Es correcto o contradictorio el anlisis?
Solucin
Declaracin de las proposiciones simples,
p: Catalina es mayor que.
q: Sandra es mayor que.
r: reconoce una tautologa.
Declaracin de las proposiciones compuestas (lenguaje natural),
Si Catalina es mayor que Sandra Y Sandra es mayor que Luis. Y Andrea es mayor que
Carlos el hermano de Luis, si Sandra es mayor que Luis. Por lo tanto, Y Si Catalina es mayor
que Sandra, Andrea es mayor que Carlos. Es correcto o contradictorio el anlisis?
Maria Geornith Perafan Abella
3. Santiago es estudiante de primer periodo acadmico de la UNAD en el programa de Ingeniera
de Sistemas, y se le han dificultado los cursos de Matemticas, Santiago sabe que eso tiene que
ver con su formacin en el colegio y por su compromiso en el bachillerato, entonces reflexiona el
hecho de que para tener buenas notas debe ser disciplinado y pensando en su hijo construye en su
mente el siguiente pensamiento: No es cierto que: si mi hijo Javier estudia, obtiene buenas
calificaciones. Si no estudia, lo pasa divertido en el colegio. Si no saca buena nota, no lo pasa
bien en el colegio. As pues, mi hijo Javier obtiene buenas calificaciones. De acuerdo al resultado
en la tabla de verdad justifique si el pensamiento de Santiago con relacin a su hijo es coherente
o incoherente.
Solucin
Declaracin de las proposiciones simples,
P: se le ha dificultado los cursos de matemticas
q: reflexiona el hecho de que para tener buenas notas debe ser disciplinado
-r: No es cierto que: si mi hijo Javier estudia, obtiene buenas calificaciones.
S: Si no estudia, lo pasa divertido en el colegio
t: Si no saca buena nota, no lo pasa bien en el colegio.
19
(r v s ^ t)]
Tabla de verdad
P
V
V
V
V
V
F
F
F
F
F
Q
V
V
F
F
V
V
F
F
V
V
r
F
F
V
V
F
V
V
F
V
v
s
v
v
F
V
F
v
f
V
F
F
t
V
V
V
V
F
F
F
V
F
v
(p ^ q)
V
V
F
F
V
F
F
F
F
f
( r v s ^ t)
F
F
F
v
F
F
V
F
F
V
20
SOLUCION
p: carolina siempre que Viaja le da migraa
q: carolina siempre le da Migraa y escalofri severo
r: carolina tiene Escalofri severo y viaja.
[(p q) (q r) (q r )] p
( p V
v V
v V
v F
v F
F V
F V
F V
F V
q ) ( p v r ) ( q v
v
v
v
v v
f
f
F
f
v
v
v v
v
f
F
f
f
f
v v
f
v
V
v
f
f
v v
v
v
V
v
v
f
f f
f
f
F
f
v
v
f v
v
v
F
v
f
v
f v
f
v
V
v
f
v
f
v
v
v
V
v
p
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
r)
5. Paula es estudiante del curso de Pensamiento Lgico y Matemtico junto con Luisa. Luisa en
un aporte individual para el Trabajo Colaborativo Tres escribe en el foro la siguiente idea: Si
Paula mi compaera de curso, aprende Lgica Proposicional y realiza las tablas de verdad,
entonces Paula aprende Lgica Proposicional, entonces ella realiza Tablas de verdad o Paula
reconoce una Tautologa y Paula no realiza tablas de Verdad y e lla no reconoce una Tautologa.
Qu se puede decir de esta informacin?
Solucin
Declaracin de las proposiciones simples,
21
La tabla de Verdad.
22
PRIMERA CLASE
FORMULACION
TERCER CLASE
23
P1: P
P2:
G
A
Armando no puede
ser
presidente y gobernador al
mismo tiempo.
P3: A
P4: G
P5:
C: A ^
P4: G
P5:
p
Hemos aplicado el modul
tolendo toles, el las P1 y P4.
Para dar la conclusin utilice la
ley de la conjuncin, aplicada
en la P3 y P5
24
Romanticismo
Ingeniera
Esculturas
25
Licenciados
UNAD
Docentes en
Matemticas
FASE GRUPAL
RESPUESTA AL PROBLEMA DE LOGICA PROPOSICIONAL
Si Soraida estudia Ingeniera Electrnica, entonces participar en la convocatoria laboral de una
empresa de equipos tecnolgicos. Pero, no participar en la convocatoria laboral de una empresa
de equipos tecnolgicos, si Soraida reprob el curso de Telemtica y no aprob el curso de
Microcontroladores. Si Soraida no reprob el curso de Telemtica o aprob el curso de
Microcontroladores, entonces participar en la convocatoria laboral de una empresa de equipos
tecnolgicos. Por lo tanto, participar en la convocatoria laboral de una empresa de equipos
tecnolgicos si y solo si evidencia un promedio de 4,3 en todos sus estudios.
Solucin:
Declaracin de las proposiciones simples,
p: Estudia ingeniera Electrnica
q: Participara en la convocatoria laboral de una empresa de equipos tecnolgicos.
r: Reprob el curso de Telematica.
s: Aprob el curso de Microcontroladores.
26
t)
La tabla de verdad
P
~ p
~ q
~ r
p q
F
F
F
F
27
28
r s
[(r s)
q]
rs
( r s)
q
p q( r
s) q
29
30
31
Esta tabla de verdad corresponde a una Contingencia ya que el resultado da en verdadero y falso
siendo:
T: verdadero
F: falso