ejercicios sobre validación de razonamientos en el nivel de lógica proposicional reducción de los...

19
Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su Reducción de los razonamientos a su forma lógica proposicional. forma lógica proposicional. Determinar si dicha forma lógica permite Determinar si dicha forma lógica permite construir otro razonamiento con premisas construir otro razonamiento con premisas verdaderas y conclusión falsa. verdaderas y conclusión falsa. Aplicación de los árboles semánticos. Aplicación de los árboles semánticos.

Upload: juan-cardenas

Post on 06-Feb-2015

135 views

Category:

Documents


5 download

TRANSCRIPT

Page 1: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicios sobre validación de razonamientos en el

Nivel de Lógica Proposicional

Reducción de los razonamientos a su forma Reducción de los razonamientos a su forma lógica proposicional.lógica proposicional.

Determinar si dicha forma lógica permite Determinar si dicha forma lógica permite construir otro razonamiento con premisas construir otro razonamiento con premisas

verdaderas y conclusión falsa.verdaderas y conclusión falsa.Aplicación de los árboles semánticos.Aplicación de los árboles semánticos.

Page 2: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº1Ejercicio nº1

Si el amanecer es un momento agradable del Si el amanecer es un momento agradable del día, entonces me alegra ver los amaneceres, día, entonces me alegra ver los amaneceres, pero no es el caso que me agrade ver los pero no es el caso que me agrade ver los amaneceres, por lo tanto el amanecer no es amaneceres, por lo tanto el amanecer no es un momento agradable del día.un momento agradable del día.

Forma Forma lógicalógica

Premisa nº1: pPremisa nº1: pqq

Premisa nº2: Premisa nº2: qq

pp Haz clickHaz click

RazonamientRazonamiento válidoo válido Haz clickHaz click

Page 3: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº2Ejercicio nº2Una comunidad aspira a ser modélica cuando busca la Una comunidad aspira a ser modélica cuando busca la justicia o cuando pretende que sus miembros sean justicia o cuando pretende que sus miembros sean iguales ante la ley, por eso esa comunidad no aspira a iguales ante la ley, por eso esa comunidad no aspira a ser modélica, porque si una comunidad no aspira a ser ser modélica, porque si una comunidad no aspira a ser modélica, entonces además de que su estado está en modélica, entonces además de que su estado está en trance de desaparecer esta se ha organizado trance de desaparecer esta se ha organizado dictatorialmente; y es el caso de que dicha comunidad dictatorialmente; y es el caso de que dicha comunidad no pretende que sus miembros sean iguales ante la no pretende que sus miembros sean iguales ante la ley.ley.

Forma Forma lógicalógica

Premisa nº1: pPremisa nº1: prrqqPremisa nº2: Premisa nº2: q q pp11qq11

Premisa nº3: Premisa nº3: rr

qq

Haz clickHaz click

por esopor eso porqueporqueesa comunidad no aspira a ser modélicaesa comunidad no aspira a ser modélica

RazonamientRazonamiento no válidoo no válido

Haz clickHaz click

Page 4: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº3Ejercicio nº3Una partícula se mueve rectilínea y uniformemente si no se ejerce ninguna fuerza sobre ella misma; de ahí que esa partícula no se mueva rectilíneamente, puesto que en su movimiento describe una trayectoria circular y se ejercen fuerzas sobre ella misma, además ocurre que describe una trayectoria circular en el caso de que se ejerzan fuerzas sobre ella misma.

Forma Forma lógicalógica

Premisa nº1: Premisa nº1: ppqqrrPremisa nº2: pPremisa nº2: p1 1 ppPremisa nº3: pPremisa nº3: p pp11 qq

Haz clickHaz click

de ahí quepuesto que

esapartícula no se mueve rectilineamente

RazonamientRazonamiento no válidoo no válido Haz clickHaz click

Page 5: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº4Ejercicio nº4El amor es una pasión del goce de la vida, El amor es una pasión del goce de la vida, porque el amor es una pasión del goce de porque el amor es una pasión del goce de la vida aunque no dignifique a la persona la vida aunque no dignifique a la persona humana, ahora bien el amor dignifica a la humana, ahora bien el amor dignifica a la persona humana y la hace ser más persona humana y la hace ser más solidaria con sus semejantes.solidaria con sus semejantes.

Forma Forma lógicalógica

Premisa nº1: Premisa nº1: ppqqPremisa nº2: q Premisa nº2: q rr

pp

aunqueaunqueporqueporque

El amor es una pasión del goce de la vidaEl amor es una pasión del goce de la vida

Haz clickHaz clickRazonamientRazonamiento válidoo válido Haz clickHaz click

Page 6: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº5Ejercicio nº5Los números pares son valores que toman las Los números pares son valores que toman las variables de las funciones continuas siendo variables de las funciones continuas siendo números irracionales, por eso estos números números irracionales, por eso estos números son valores que toman las variables de las son valores que toman las variables de las funciones continuas, puesto que los números funciones continuas, puesto que los números pares no son números irracionales aunque pares no son números irracionales aunque son números naturales. son números naturales.

Forma Forma lógicalógica

Premisa nº1: pPremisa nº1: pqqPremisa nº2: Premisa nº2: qqrr

pp

por esopor eso

puesto quepuesto que

estos números sonestos números sonvalores que toman las variables de las funcionesvalores que toman las variables de las funciones

continuascontinuas

RazonamientRazonamiento válidoo válido Haz clickHaz click Haz clickHaz click

Page 7: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº6Ejercicio nº6Ni el espacio muestral está constituido por un Ni el espacio muestral está constituido por un suceso individual ni tampoco lo forma solo el suceso individual ni tampoco lo forma solo el suceso imposible, ahora bien, el espacio suceso imposible, ahora bien, el espacio muestral está bien definido cuando se han muestral está bien definido cuando se han fijado todos los posibles resultados de una fijado todos los posibles resultados de una experiencia aleatoria; además solo el suceso experiencia aleatoria; además solo el suceso imposible no forma el espacio muestral o este imposible no forma el espacio muestral o este no está bien definido; por lo tanto, se han no está bien definido; por lo tanto, se han fijado todos los posibles resultados de una fijado todos los posibles resultados de una experiencia aleatoria.experiencia aleatoria.

Forma Forma lógicalógica

ahora bienahora bien

ademásademás

Premisa nº1: Premisa nº1: ppqqPremisa nº2: rPremisa nº2: rpp11

Premisa nº3:Premisa nº3:qqpp11

rr

porporlo tantolo tantose han fijado todos los posibles resultadosse han fijado todos los posibles resultados

de una experiencia aleatoria.de una experiencia aleatoria.

RazonamientRazonamiento no válidoo no válido Haz clickHaz click

Page 8: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº7Ejercicio nº7Si la conciencia es una estructura recursiva y en Si la conciencia es una estructura recursiva y en virtud de esta propiedad los actos de la conciencia virtud de esta propiedad los actos de la conciencia se autorrefieren, entonces el examen de los estados se autorrefieren, entonces el examen de los estados de conciencia determina los objetos de estos de conciencia determina los objetos de estos estados en el caso de que sea realizado con estados en el caso de que sea realizado con determinada corrección, de ahí que el examen de los determinada corrección, de ahí que el examen de los estados de conciencia determine los objetos de estados de conciencia determine los objetos de estos estados, puesto que la conciencia es estos estados, puesto que la conciencia es efectivamente una estructura recursiva y en virtud efectivamente una estructura recursiva y en virtud de esta propiedad los actos de la conciencia se de esta propiedad los actos de la conciencia se autorrefieren, además los exámenes de los estados autorrefieren, además los exámenes de los estados de conciencia se realizan con determinada de conciencia se realizan con determinada corrección.corrección.Forma Forma lógicalógica

Premisa nº1: pPremisa nº1: prr(p(p11q)q)

ademásademás

Premisa nº2: Premisa nº2: pprrPremisa nº3: pPremisa nº3: p11

qq

de ahí quede ahí que

puesto quepuesto que

el examen de losel examen de losestados de conciencia determine los objetos de estosestados de conciencia determine los objetos de estos

estadosestados

Haz clickHaz clickRazonamientRazonamiento válidoo válido Haz clickHaz click

Page 9: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº8Ejercicio nº8Si un sujeto es un ser privilegiado para captar de Si un sujeto es un ser privilegiado para captar de modo inmediato los contenidos de su conciencia, modo inmediato los contenidos de su conciencia, entonces los contenidos de conciencia o son entonces los contenidos de conciencia o son susceptibles de ser descritos en un lenguaje público o susceptibles de ser descritos en un lenguaje público o son descifrables únicamente para el sujeto en son descifrables únicamente para el sujeto en cuestión; pero ocurre además que un sujeto es un ser cuestión; pero ocurre además que un sujeto es un ser privilegiado para captar de modo inmediato los privilegiado para captar de modo inmediato los contenidos de su conciencia aunque estos contenidos contenidos de su conciencia aunque estos contenidos no son susceptibles de ser descritos en un lenguaje no son susceptibles de ser descritos en un lenguaje público; por eso son descifrables solo para el sujeto público; por eso son descifrables solo para el sujeto en cuestión.en cuestión.

Forma Forma lógicalógica

Premisa nº1: pPremisa nº1: pqqrr

peropero

Premisa nº2: pPremisa nº2: pqq

rr

por esopor eso

son descifrables solo para el sujeto en cuestión.son descifrables solo para el sujeto en cuestión.

Haz clickHaz clickRazonamientRazonamiento válidoo válido Haz clickHaz click

Page 10: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº9Ejercicio nº9Si los números naturales son pares, Si los números naturales son pares, entonces los números pares son infinitos y entonces los números pares son infinitos y son números irracionales; por otra parte son números irracionales; por otra parte sabemos que los números pares son sabemos que los números pares son infinitos pero no son irracionales, por lo que infinitos pero no son irracionales, por lo que se sigue que los números naturales son se sigue que los números naturales son pares.pares.

Forma Forma lógicalógica

Premisa nº1: pPremisa nº1: pqqrr

Por otra partePor otra parte

Premisa nº2: qPremisa nº2: qrr

pp

por lo que se sigue quepor lo que se sigue quelos númeroslos númerosnaturales son paresnaturales son pares

Haz clickHaz clickRazonamientRazonamiento no válidoo no válido Haz clickHaz click

Page 11: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº10Ejercicio nº10El alargamiento de un resorte es directamente El alargamiento de un resorte es directamente proporcional a la fuerza que se aplica o bien las no proporcional a la fuerza que se aplica o bien las no fuerzas deformadoras no son aplicadas a dicho fuerzas deformadoras no son aplicadas a dicho resorte; no obstante, todo resorte contiene una resorte; no obstante, todo resorte contiene una constante específica que expresa la fuerza ejercida constante específica que expresa la fuerza ejercida por cada unidad de longitud de alargamiento, de ahí por cada unidad de longitud de alargamiento, de ahí que el alargamiento de un resorte sea directamente que el alargamiento de un resorte sea directamente proporcional a la fuerza que se aplica.proporcional a la fuerza que se aplica.

Forma Forma lógicalógica

Premisa nº1: Premisa nº1: ppqqPremisa nº2: rPremisa nº2: r

pp

no obstanteno obstante

de ahíde ahíel alargamiento de un resorte sea directamenteel alargamiento de un resorte sea directamente

proporcional a la fuerza que se aplicaproporcional a la fuerza que se aplica

queque

Haz clickHaz clickRazonamientRazonamiento no válidoo no válido Haz clickHaz click

Page 12: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº11Ejercicio nº11

Sabemos que los números pares son infinitos Sabemos que los números pares son infinitos pero no son irracionales; pero si los números pero no son irracionales; pero si los números naturales son pares, entonces los números naturales son pares, entonces los números pares son infinitos y son números irracionales; pares son infinitos y son números irracionales; por lo que se sigue que los números naturales por lo que se sigue que los números naturales son pares.son pares.

Forma Forma lógicalógica

Premisa nº1: Premisa nº1: ppqqPremisa nº1: rPremisa nº1: rppqq

rr

peropero

por lo que se sigue quepor lo que se sigue quenúmeros naturales son pares.números naturales son pares.

loslos

Haz clickHaz clickRazonamientRazonamiento no válidoo no válido Haz clickHaz click

Page 13: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº12Ejercicio nº12Si en un movimiento circular uniforme la partícula Si en un movimiento circular uniforme la partícula describe arcos iguales en tiempos iguales, entonces la describe arcos iguales en tiempos iguales, entonces la celeridad o módulo de la velocidad tangencial se celeridad o módulo de la velocidad tangencial se mantiene constante a lo largo de la trayectoria; además mantiene constante a lo largo de la trayectoria; además ocurre que si la dirección es tangente a la misma ocurre que si la dirección es tangente a la misma trayectoria, entonces la dirección no se mantiene trayectoria, entonces la dirección no se mantiene constante y va variando de un punto a otro, por lo tanto constante y va variando de un punto a otro, por lo tanto la dirección se mantiene constante y la celeridad o la dirección se mantiene constante y la celeridad o módulo de la velocidad tangencial se mantiene módulo de la velocidad tangencial se mantiene constante a lo largo de la trayectoria.constante a lo largo de la trayectoria.

Forma Forma lógicalógica

Premisa nº1: pPremisa nº1: pqqPremisa nº2: rPremisa nº2: rpp11qq11

pp11 qq

ademásademás

por lopor lotantotantola dirección se mantiene constante y la celeridad ola dirección se mantiene constante y la celeridad o

módulo de la velocidad tangencial se mantiene constante a lomódulo de la velocidad tangencial se mantiene constante a lolargo de la trayectorialargo de la trayectoria

Haz clickHaz click RazonamientRazonamiento no válidoo no válido

Haz clickHaz click

Page 14: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº13Ejercicio nº13En un movimiento circular uniforme la partícula En un movimiento circular uniforme la partícula describe arcos iguales en tiempos iguales, pero la describe arcos iguales en tiempos iguales, pero la celeridad o módulo de la velocidad tangencial se celeridad o módulo de la velocidad tangencial se mantiene constante a lo largo de la trayectoria, de mantiene constante a lo largo de la trayectoria, de ahí que la dirección de dicho movimiento se ahí que la dirección de dicho movimiento se mantenga constante; pues si la dirección es tangente mantenga constante; pues si la dirección es tangente a la misma trayectoria de ese movimiento, entonces a la misma trayectoria de ese movimiento, entonces su dirección no se mantiene constante y va variando su dirección no se mantiene constante y va variando de un punto a otro.de un punto a otro.

Forma Forma lógicalógica

Premisa nº1: Premisa nº1: ppPremisa nº1: Premisa nº1: rr

peropero

Premisa nº3: pPremisa nº3: p11qqqq11

qq

de ahí quede ahí quepuespues

la dirección de dichola dirección de dichomovimiento se mantenga constantemovimiento se mantenga constante

Haz clickHaz click RazonamientRazonamiento no válidoo no válido

Haz clickHaz click

Page 15: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº14Ejercicio nº14Se verifica que el único genuino interés de la política del Se verifica que el único genuino interés de la política del partido en el gobierno es la política económica cuando partido en el gobierno es la política económica cuando la solidaridad humana es uno de sus objetivos políticos la solidaridad humana es uno de sus objetivos políticos aunque no se interese por las instituciones públicas, aunque no se interese por las instituciones públicas, ahora bien ocurre que el único genuino interés de la ahora bien ocurre que el único genuino interés de la política del partido gubernamental es la política política del partido gubernamental es la política económica solo y solamente en el caso de que la económica solo y solamente en el caso de que la solidaridad humana no sea uno de sus objetivos solidaridad humana no sea uno de sus objetivos políticos, por tanto la solidaridad humana es uno de los políticos, por tanto la solidaridad humana es uno de los objetivos de la política del partido en el gobierno y este objetivos de la política del partido en el gobierno y este se interesa por las instituciones públicas, puesto que el se interesa por las instituciones públicas, puesto que el único genuino interés de la política del partido único genuino interés de la política del partido gubernamental es la política económica.gubernamental es la política económica.

Forma Forma lógicalógica

Premisa nº1: qPremisa nº1: qr r ppPremisa nº2: pPremisa nº2: ppp11

Premisa nº3: pPremisa nº3: p qqrr

ahora bienahora bien

porportantotanto

puesto quepuesto que

la solidaridad humana es uno de los objetivos de lala solidaridad humana es uno de los objetivos de lapolítica del partido en el gobierno y este se interesa por laspolítica del partido en el gobierno y este se interesa por las

instituciones públicasinstituciones públicas

Haz clickHaz click RazonamientRazonamiento no válidoo no válido

Haz clickHaz click

Page 16: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº15Ejercicio nº15

Una comunidad aspira a ser modélica cuando busca Una comunidad aspira a ser modélica cuando busca la justicia o cuando pretende que sus miembros la justicia o cuando pretende que sus miembros sean iguales ante la ley, por eso esa comunidad no sean iguales ante la ley, por eso esa comunidad no aspira a ser modélica, porque si una comunidad no aspira a ser modélica, porque si una comunidad no aspira a ser modélica, entonces además de que su aspira a ser modélica, entonces además de que su estado está en trance de desaparecer esta se ha estado está en trance de desaparecer esta se ha organizado dictatorialmente; y es el caso de que organizado dictatorialmente; y es el caso de que dicha comunidad no pretende que sus miembros dicha comunidad no pretende que sus miembros sean iguales ante la ley.sean iguales ante la ley.

Forma Forma lógicalógica

Premisa nº1: pPremisa nº1: prrqq

Premisa nº2: Premisa nº2: qqqq11pp11

y es el caso de quey es el caso de que

Premisa nº3: Premisa nº3: rr

qq

por esopor esoporqueporque

esa comunidad no aspira a seresa comunidad no aspira a ser

modélicamodélica

Haz clickHaz click RazonamientRazonamiento no válidoo no válido

Haz clickHaz click

Page 17: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº16Ejercicio nº16Si la relación de orden es transitiva y antisimétrica, Si la relación de orden es transitiva y antisimétrica, entonces cuando la relación de ser menor que se entonces cuando la relación de ser menor que se define entre los números enteros cada uno de los define entre los números enteros cada uno de los ellos tiene un inmediato superior y un inmediato ellos tiene un inmediato superior y un inmediato inferior; ocurre además que es condición suficiente inferior; ocurre además que es condición suficiente para que la relación de ser menor se defina entre para que la relación de ser menor se defina entre los números enteros y dicha relación sea transitiva los números enteros y dicha relación sea transitiva y antisimétrica el que la relación de orden sea de y antisimétrica el que la relación de orden sea de orden parcial; de ahí que cada número entero tenga orden parcial; de ahí que cada número entero tenga un inmediato superior, dado que la relación de un inmediato superior, dado que la relación de orden es de orden parcial o cada número entero orden es de orden parcial o cada número entero tiene un inmediato inferior, pero, por otro lado, no tiene un inmediato inferior, pero, por otro lado, no es cierto que cada número entero tenga un es cierto que cada número entero tenga un inmediato inferior.inmediato inferior.

Forma Forma lógicalógica

Premisa nº1: Premisa nº1: pp(q(qr)r)

ocurre ademásocurre además

Premisa nº2: Premisa nº2: pp11(q(qp)p)Premisa nº3: pPremisa nº3: p11rr11

pero, por otro ladopero, por otro lado

Premisa nº4: Premisa nº4: rr11

rr11

de ahí quede ahí quedado quedado que

cada número enterocada número enterotenga un inmediato superiortenga un inmediato superior

Haz clickHaz clickRazonamientRazonamiento no válidoo no válido Haz clickHaz click

Page 18: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Ejercicio nº17Ejercicio nº17

Page 19: Ejercicios sobre validación de razonamientos en el Nivel de Lógica Proposicional Reducción de los razonamientos a su forma lógica proposicional. Determinar

Premisa nº1: pPremisa nº1: pqq

pp

Haz clickHaz click

Haz clickHaz click

RazonamientRazonamiento válidoo válido