Sem1 Proposiciones
Sem1 Proposiciones
Sem1 Proposiciones
Competencia
Indicadores
Aplica
contenidos
conceptuales
y
procedimentales de la Lgica Matemtica
para solucionar problemas de la realidad,
de manera acertada, responsable
y
proactiva.
Identifica
proposiciones
simples
y
compuestas en un texto.
Formaliza argumentos lgicos formados
por dos o ms proposiciones simples al
lenguaje proposicional.
Introduccin
El desarrollo de la lgica est ntimamente ligado al de la matemtica. Podemos distinguir tres grandes
etapas del desarrollo de la lgica: la antigua o clsica, la escolstica o medieval y la moderna.
El iniciador de la lgica, en la etapa antigua, fue Aristteles, quien elaboro la silogstica y el
planteamiento de la investigacin segn el mtodo deductivo.
En la lgica moderna, se reivindica la importancia del mtodo inductivo dndole nuevos fundamentos y
la incorporacin del clculo matemtico en la lgica.
La lgica no es una ciencia como las otras, en el sentido de que no est interesada en averiguar que
proposiciones referidas al mundo son verdaderas o falsas. Su inters se dirige, ms bien, a estudiar en
qu casos la verdad de unos enunciados o proposiciones se traslada a otros enunciados o
proposiciones diferentes. Por esto la lgica, como las matemticas, no tienen por objeto algn aspecto
del mundo fctico, como s lo tienen la zoologa o la mineraloga. No se ocupa de los hechos, ni siquiera
de aquellos ligados al hombre como lo hacen la historia o la antropologa. La lgica opera, por as
decirlo, al interior de toda ciencia.
La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas
determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas,
computacin, fsica y otras ramas. En la filosofa para determinar si un razonamiento es vlido o no, ya
que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el
significado correcto.
La lgica es importante porque permite resolver, incluso problemas a los que nunca se ha enfrentado el
ser humano utilizando solamente su inteligencia, adems apoyndose en algunos conocimientos
acumulados se pueden obtener nuevos inventos, innovaciones en comparacin a los ya existentes o
simplemente utilizacin de los mismos.
Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El
camino puede ser ms largo o ms corto, dependiendo de las reglas de inferencia y tautologas que uno
seleccione, pero definitivamente estas garantizan llegar al resultado. Puede haber tantas soluciones
como estudiantes se tenga en clase y todas estar bien, esto permite que el estudiante adquiera
confianza en la eleccin de reglas y frmulas a usar; de manera que cuando se enfrente a una
situacin sea capaz de elegir el camino ms adecuado.
LGICA PROPOSICIONAL
La lgica proposicional es una parte de la lgica matemtica, llamada tambin Lgica de las
proposiciones; estudia la semntica de las proposiciones desde un punto de vista lgico,
entendiendo a stas como enunciados declarativos que tienen la propiedad de
ser verdaderos o
falsos, pero no ambos al mismo tiempo. Es decir, buscar slo su Significado Lgico.
Resolver
problemas en
general.
que
mejores
absolutamente
tu
con
seguridad
tus
habilidades
lgicas naturales.
Es ms probable que una
persona que ha
CONCEPTO
JUICIO
LAS PROPOSICIONES
Las
proposiciones
son
pensamientos
en
los
que
se
RAZONAMIENTO
afirma algo y que se expresan, por ello, mediante enunciados u oraciones declarativas. Recordemos
que las oraciones (conjunto de palabras que expresan
A continuacin se presentan algunos casos que te indican cuando las oraciones son proposiciones.
SON PROPOSICIONES
NO SON PROPOSICIONES
Enunciados aseverativos.
Leyes cientficas.
Supersticiones.
Frmulas matemticas.
Frmulas lgicas.
Enunciados cerrados.
rdenes.
Refranes y proverbios.
Enunciados abiertos.
Creencias religiosas.
Enunciados interrogativos.
Apreciaciones personales.
CONECTOR LGICO
Son todos aquellos trminos que sirven de enlace entre proposiciones o le cambian el valor de
verdad. Son de dos tipos:
A. CONECTOR MONDICO
Es aquel que afecta solamente a una proposicin atmica. La negacin simbolizada por ~
es el nico operador mondico.
B. CONECTOR DIDICOS
Reemplazan a los trminos de enlace o conectores que unen una proposicin simple con otra.
Son operadores didicos: la conjuncin, la disyuncin, la implicacin y la bicondicional.
CONECTOR
TRMINO
NEGADOR
No
CONJUNTOR
...y...
SMBOLO
DISYUNTOR
INCLUSIVO
(DBIL)
...o...
SIGNIFICADO
Cambia el valor de
verdad
de
una
EJEMPLO
Alberto
Fujimori
tiene cncer.
proposicin simple
Indica que se deben La
asignatura
dar
las
no
de
proposiciones
terica y prctica.
Da la posibilidad de
Juan trabaja o estudia
que se den ambas
en la UCV.
proposiciones a la vez
DISYUNTOR
EXCLUSIVO
O...o
(FUERTE)
IMPLICADOR
Si,
entonces
en
proposiciones
Cusco.
el
las Si
una pruebas
en
las
proposiciones
una
relacin de efecto
causa
Indica que se da una
BIIMPLICADOR
si y solo
si
relacin de causa -
contundentes
a prisin.
Indica
si
tiene
REPLICADOR
fiscal
efecto y viceversa en
dos proposiciones
Nuestra
devala
moneda
si
su
se
valor
disminuye.
El
viaje
Cusco
se
realizar en avin si y
solo si tenemos dinero.
no
Es mentira que
nunca
Es falaz que
jams
Es objetable que
tampoco
No es verdad que
Los negadores internos (NI) afectan siempre a una proposicin simple, mientras los negadores
externos (NE) afectan a proposiciones compuestas, colocndose delante de un signo de
agrupacin, pero dependiendo del caso podran convertirse en negadores internos.
Existe tambin:
Negacin por antonimia absoluta
Caliente- fro, ir-venir, inflar-desinflar, llenar-
etc.
Ejemplo:
Atpico,
antideportivo,
agramatical,
contracultural,
contracultura,
discontinuo,
medicina deportiva.
Proposicin simple:
Ejemplo:
medicina deportiva.
Formalizacin: p V ~ p
Proposicin:
p: la pesca obtuvo ingresos legales.
Formalizacin: ~ p
TIPOS DE PROPOSICIONES
Las proposiciones se clasifican segn tengan o no conector lgico. As tenemos
I) PROPOSICIONES SIMPLES O ATMICAS:
Carecen de conector lgico. Estas a su vez se pueden clasificar en:
a)
Ejemplos:
simples
relacionales
de ubicacin geogrfica.
Ejemplo:
Chiclayo esta al norte de Lima.
Afinidad: Cuando hay una relacin de
cantidad.
Ejemplo:
Mario es mejor ajedrecista que Juan
II) PROPOSICIONES COMPUESTAS O MOLECULARES:
Contienen uno o ms conectores lgicos. De acuerdo al tipo de conector que tienen, se clasifican
en: negativas, conjuntivas, disyuntivas, implicativas, replicativas, biimplicativas.
Ejemplos:
Mario Vargas Llosa vendi muchos libros el ao pasado, pero Alfredo Brice Echenique no.
Susana Villarn no fue revocada.
Ya que los lugares tursticos de nuestra regin estn bien cuidados y se capacita
adecuadamente a los operadores tursticos, aumentar la cantidad de turistas.
Si llego constantemente tarde a clases, entonces repercutir en mi evaluacin actitudinal y no
pertenecer al tercio superior.
Aprendido
Aplicando lo
j)
Te amo mucho.
u) No entiendo!
v) Carlos es estudioso e hiperactivo.
w) Los sueos, sueos son.
2. Seale la proposicin atmica relacional:
a) La llama es un auqunido.
b) El Per es primer exportador de esprragos en el mundo.
c) Mnica Delta y Sol Carreo son periodistas.
d) El perro y el gato son mascotas.
e) Can y Abel son hermanos
Conjuntiva.
Disyuntiva.
Implicativa.
Replicativa.
Negativa.
c) molecular condicional
d) molecular disyuntiva.
e) atmica predicativa.
5. Indicar si los siguientes enunciados son proposiciones simples o atmicas:
a)
b)
c)
d)
e)
FORMALIZACIN
DEFINICIN: Es el procedimiento mediante el cual se identifican proposiciones simples y
lgicos quienes se enlazan formando frmulas organizadas con
conectores
signos de
agrupacin.
A las proposiciones simples se les reemplaza por variables proposicionales del Lenguaje Objeto
de la Lgica Proposicional.
PROCEDIMIENTO DE FORMALIZACIN:
Aplicando lo
Aprendido
PENSAMIENTO
LGICO 2015 - II
una
variable
proposicional y redacta.
Paso 2:
Identifica conectores lgicos e
p y q, ya que r
Paso 3:
(pq)r
Paso 2:
Paso 3:
(p q r) s
3. La enfermera es la profesional que aplica los conocimientos cientficos as tambin la experiencia
en el cuidado de las personas enfermas, o incluso suele ayudar a los mdicos al tratar con los
pacientes.
Paso 1:
p:
La
enfermera
es
la
profesional
que
aplica
los
pacientes. .
p as tambin q, o incluso r
Paso 3:
(p q ) r
4. La contabilidad es una herramienta estratgica para la toma de decisiones oportunas, puesto que
nos permite registrar los hechos econmicos para producir informacin econmica, financiera y
patrimonial en tiempo real.
Paso 1:
redacta
le
asigna
una
variable proposicional.
para producir
informacin
econmica
en
tiempo real.
r: La contabilidad nos permite registrar los hechos
econmicos para producir informacin financiera en tiempo
real.
s: La contabilidad nos permite registrar los hechos
econmicos para producir informacin patrimonial en
tiempo real.
Paso 2:
Identifica conectores lgicos e
p, puesto que q, r y s
Paso 3:
Escribe la frmula lgica.
Adems con este nuevo sistema ferroviario el usuario tardar 45 minutos en ir de este a oeste ya
que el tren subterrneo viajar a una velocidad mxima de 90 km/h. Por consiguiente aliviar el
obsoleto transporte urbano de la capital.
Paso 1:
redacta
le
asigna
variable proposicional.
una
Paso 2:
Identifica conectores lgicos e
Paso 3:
Escribe la frmula lgica.
[ p ( q r) ] s
el obsoleto
CONECTOR LGICO
TRMINO
REPRESENTATIVO
EXPRESIONES EQUIVALENTES
A a menos que B
A a no ser que B
A excepto que B
A oB
DISYUNTOR
A o en todo caso B
INCLUYENTE
A o incluso B
... o
A o tambin B
A salvo que B
A salvo que tambin B
A y bien, o tambin B
A ya bien, o incluso B
A y/o B
A o bien B
OPERADOR LGICO
DISYUNTOR
EXCLUYENTE
TRMINO
REPRESENTATIVO
O ... o
EXPRESIONES EQUIVALENTES
A o B (pero no ambos)
A salvo que solo B
A salvo que nicamente B
A o solamente B
A o solo B
A o tan solo B
A y bien, o tambin nicamente B
OA oB
O bien A o bien B
O solo A o solo B
CONECTOR LGICO
CONJUNTOR
TRMINO
REPRESENTATIVO
... y
EXPRESIONES EQUIVALENTES
A a la vez B
A al igual que B
A al mismo tiempo B
A a pesar B
A adems B
A as como B
A as tambin B
A aun cuando B
A aunque B
A de la misma forma B
A de la misma manera B
A del mismo modo B
A empero B
A es compatible con B
A junto con B
A incluso B
A igualmente B
A mas bien B
A no obstante B
A pero B
A simultneamente B
A sin embargo B
A tal como B
A tambin B
A tanto como B
A vemos que tambin B
A yB
Conjuntamente A con B
No solo A tambin B
Siempre ambos A con B
Tanto A como B
CONECTOR LGICO
TRMINO REPRESENTATIVO
EXPRESIONES EQUIVALENTES
CONDICIONAL
Si , entonces
A condicin de que A, B
(Implicador)
A de ah que B
A de manera que B
A de modo que B
A en consecuencia B
A es suficiente para B
A es una condicin suficiente para B
A implica B
A luego B
A por consiguiente B
A por lo tanto B
A solo si B
Cada vez que A, B
Cada vez que A consiguientemente B
Como quiera que A por lo cual B
Con la condicin de A esto trae consigo B
Con tal que A es obvio que B
Cuando A, B
Cuando A as pues B
Dado A por eso B
Dado que A entonces B
De A concluimos en B
De A deducimos B
De A derivamos B
De A deviene B
En cuanto A concluimos en B
En el caso que A as pues B
En el caso que A en tal sentido B
En virtud de que A es evidente B
Es suficiente A para B
Es una condicin suficiente A para B
Para A es necesario B
Para A es una condicin necesaria B
Porque A, B
Puesto que A, as pues B
Puesto que A entonces B
Se supone A para B
Si A, B
Si A entonces B
Siempre que A por consiguiente B
Siempre que A por tanto B
Toda vez que A en consecuencia B
Una condicin necesaria para A es B
Ya que A entonces B
Ya que A es evidente que B
CONECTOR LGICO
CONDICIONAL
(Replicador)
TRMINO
REPRESENTATIVO
EXPRESIONES EQUIVALENTES
... si ...
A a condicin de que B
A cada vez que B
A dado que B
A est implicado por B
A es una condicin necesaria para B
A porque B
A puesto que B
A se concluye de B
A, si B
A, siempre que B
A supone que B
A ya que B
TRMINO
REPRESENTATIVO
EXPRESIONES EQUIVALENTES
A cada vez que y solo si B
A cuando y solo cuando B
A entonces y solo entonces B
A equivale a B
A equivale lgicamente B
A es necesaria y suficiente para B
A suficiente y necesario para B
A es equipolente a B
BIIMPLICADOR
... si y solo si
A es equivalente a B
A implica y est implicado en B
A por lo cual y segn lo cual B
A se define como B
A se define lgicamente como B
A segn lo cual y por lo cual B
A si de la forma B
A siempre y cuando B
A siempre que y solo cuando B
A si y solo si B
CONECTOR LGICO
TRMINO REPRESENTATIVO
EXPRESIONES EQUIVALENTES
NEGADOR
no
Es negable que A
Es no cierto que A
Es objetable que A
Es refutable que A
Es totalmente falso que A
Imposible que sea A
Jams se cumple que A
Jams se da que A
Jams se verifica que A
No acaece que A
No es cierto que A
No es concebible que A
No es el caso que A
No es verdad que A
Carece de todo sentido que A
Definitivamente no se da que A
De ninguna forma se da que A
De ninguna manera se da que A
En absoluto se da que A
En modo alguno se da que A
Es absurdo que A
Es errneo que A
Es falso que A
Es imposible que A
Es inaceptable que A
Es inadmisible que A
Es incierto que A
Es inconcebible que A
Es incorrecto que A
Es insostenible decir que A
Es inverosmil que A
Es mentira que A
Es imposible que A
No es veraz que A
No es verosmil que A
No ocurre que A
No se cumple que A
No se da la posibilidad de que A
No se da que A
No tiene sentido que A
Nunca jams A
Nunca se da que A
Para nada se da que A
Se rechaza que A
RESUMEN
Formas del
pensamiento
son
Lgica
Proposicional
Concepto
Estudia
Proposiciones
Se
Juicio
Formalizan en
3 pasos
expresa por
que son:
Simple
Identificar
Compuesta
se
Razonamiento
proposiciones
simples
Identifica
conectores e
inserta variables
proposicionales.
Contiene
uno o ms
conectores
Predicativa
Escribir la
frmula
lgica
Relacional
Conectores
~
(no)
(y)
V
(o)
(oo)
Si
entonces)
(si )
si y solo
si
HOJA DE TRABAJO # 1
I.
Paso 1:
p:
q:
Paso 2:
Paso 3:
p:
q:
Paso 2:
Paso 3:
3. Puesto que la estadstica analiza e interpreta datos reales, entonces nos permite realizar
investigaciones en diferentes campos.
Paso 1:
p:
q:
r:
Paso 2:
Paso 3:
p:
q:
r:
Paso 2:
Paso 3:
p:
q:
r:
Paso 2:
Paso 3:
6. Ya que el cdigo penal contiene las normas punitivas de un Estado as como el cdigo civil
contiene las normas de Derecho privado, as pues es falso que los ciudadanos no conozcan
sobre las normas jurdicas.
Paso 1:
p:
q:
r:
Paso 2:
Paso 3:
1.
El parque de las leyendas presenta una serie de actividades educativas ya que su objetivo es
fomentar nuevas experiencias de aprendizaje integral y valores de conservacin del medio
ambiente
Paso 1:
Paso 2:
Paso 3:
2.
Paso 2:
Paso 3:
3. Los bomberos asisten al curso internacional de primeros auxilios y rescate vehicular, puesto que
necesitan fortalecer su capacidad operativa y de respuesta ante las emergencias.
Paso 1:
Paso 2:
Paso 3:
4.
Paso 2:
Paso 3:
5.
El ingeniero industrial tiene la capacidad de dirigir procesos de cambio que involucren nuevas
tecnologas porque posee slidos conocimientos tericos y prcticos.
Paso 1:
Paso 2:
Paso 3:
6.
El consumo frecuente de camu camu fortalece los huesos y/o mejora el sistema de defensa de
nuestro cuerpo, de ah que la exportacin de pulpa congelada de camu camu va en aumento.
Paso 1:
Paso 2:
Paso 3:
7.
Ya que Alberto desarrolla sus habilidades matemticas y comunicativas, es evidente que tendr
un buen desempeo acadmico; en consecuencia ser un profesional destacado.
8.
Paso 1:
El
Paso 2:
Paso 3:
Turismo en el Per es una fuente principal de ingreso de divisas porque atrae a muchos turistas
por la gama de circuitos que ofrece as tambin las agencias tursticas brindan un servicio
eficiente.
Paso 1:
Paso 2:
Paso 3:
9.
Si la ingeniera civil es la disciplina que emplea la mecnica de suelos, entonces no es cierto que
no se encarga del estudio tcnico de la construccin ni del mantenimiento de la infraestructura
vial.
Paso 1:
Paso 2:
Paso 3:
10. Puesto que las fichas permiten registrar y resumir informacin para redactar un proyecto de
investigacin, as pues son recursos importantes en el proceso de una investigacin.
Paso 1:
11.
Es
Paso 2:
Paso 3:
falso que el consumo del cigarrillo no constituya la principal causa de muerte ni aumente el
riesgo de contraer enfermedades cardiovasculares. Por consiguiente, su consumo no garantiza
una vida saludable.
Paso 1:
Paso 2:
Paso 3:
12. El profesional de Ciencias de la Comunicacin se caracteriza por tener una slida formacin
metodolgica
cientfica;
en
consecuencia
interpreta
la
realidad
profesionalismo.
Paso 1:
socioeconmica
con
Paso 2:
Paso 3:
13. Ya que los profesionales en Negocios Internacionales son especialistas en la gestin de negocios
globales entonces utilizan los mecanismos de financiamiento e instrumentos comerciales que el
mercado global exige. En consecuencia, manejan la insercin de cualquier rubro comercial en el
mercado internacional.
Paso 1:
Paso 2:
Paso 3:
14. No es cierto que, el colesterol elevado o incluso el consumo excesivo de tabaco no sean algunos
de los principales factores de riesgo para desarrollar enfermedades cardiovasculares; por lo tanto
la poblacin a nivel mundial necesita cambiar sus hbitos alimenticios.
15.
Paso 1:
La
Paso 2:
Paso 3:
psicologa investiga sobre los procesos mentales a la vez que la psiquiatra se dedica al estudio de
los trastornos mentales. En consecuencia, tanto la Psicologa como la Psiquiatra son ciencias
dedicadas a la salud mental.
16.
Paso 1:
La
s
Paso 2:
Paso 3:
Paso 1:
No
es
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
18. La industria del calzado es una actividad importante para la economa peruana, ya que ha
generado un amplio margen de divisas as como puestos de trabajo. No obstante, hace falta
estudiar las tendencias mundiales sobre la moda del calzado para mejorar nuestros productos.
19.
Paso 1:
La
Paso 2:
Paso 3:
Paso 2:
Paso 3:
20. No es cierto que, las empresas no necesitan de la publicidad para potenciar sus ventas o incluso
que las redes sociales no sean un espacio virtual donde se muestran los nuevos productos. En
consecuencia, si una empresa que desea posicionar su marca en el mercado, recurrir a los
profesionales publicitarios.
Paso 1:
21.
Si
el
Paso 2:
Paso 3:
ingeniero ambiental gestiona los procesos de prevencin de riesgos entonces controla al igual que
remedia los problemas de degradacin ambiental; puesto que hace uso sustentable de los
recursos naturales.
Paso 1:
Paso 2:
Paso 3:
22.
Paso 2:
Paso 3:
Paso 2
Paso 3:
24. La lnea editorial de un diario es independiente si informa los hechos tal como suceden. Pero es
falso que la lnea editorial informe los hechos tal como suceden. Por lo tanto, los diarios no
informan verazmente los hechos que suceden.
Paso 1
Paso 2
Paso 3:
25. Es falso que las ciencias contables no se apoyen en las finanzas ni en la economa, sin embargo
las ciencias contables se apoyan en las finanzas a menos que se apoyen en la economa.
Paso 1:
Paso 2:
Paso 3:
26. La explotacin minera irresponsable causa daos ecolgicos o la industria turstica brinda
desarrollo econmico sostenido. Sin embargo no es cierto que la explotacin minera responsable
no causa daos ecolgicos. Por lo tanto la explotacin minera responsable causa daos
ecolgicos.
Paso 1:
Paso 2:
Paso 3:
BIBLIOGRAFA
Cdigo de
biblioteca
TEXTO
511.3 C95
510 F47
510 V45
Lima:
Lima.
Catalua.
LINKOGRAFA
http://azul2.bnct.ipn.mx/clogicos/logica_de_proposiciones/logica_de_proposiciones.htm
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
http://132.248.17.238/calculo/Logica/l_index.html
http://recursos.educarex.es/escuela2.0/Humanidades/Etica_Filosofia_Ciudadania/Aprende_logica/
logica/01concbasicos/111propos.html
http://docencia.udea.edu.co/SistemasDiscretos/contenido/calculo_proposicional.html
http://www.xtec.cat/~lvallmaj/passeig/enunfor2.htm
http://roble.pntic.mec.es/~jgomez10/logica/formalizacion.html
http://prueba-logica.blogspot.com/2009/10/formalizacion-de-proposiciones-y.html
http://logicayrazonamientomatamatica.blogspot.com/2011/08/conectivo-u-operadores-logicos.html