Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
EXPERIENCIA CURRICULAR DE
LÓGICO - MATEMÁTICA
GUÍA PRÁCTICA N° 01
PROPOSICIÓN LÓGICA Y
FORMALIZACIÓN
I. LECTURA
LÓGICA MODERNA
También denominada lógica simbólica o matemática. A mediados del siglo XIX, los matemáticos
británicos George Boole y Augustus De Morgan abrieron el campo de la nueva lógica, que luego
fue desarrollada por el matemático alemán Gottlob Frege, esta lógica se basa en la aplicación de
símbolos por medio de tablas de verdad, que nos permiten ver lo verdadero o falso que son las
versiones de una acción.
Introduce símbolos para frases enteras y para las conjunciones que las unen, como “o”, “y”, “si...
entonces...”. Cuenta con símbolos diferentes para el sujeto lógico y el predicado lógico de una
frase; y adjudica símbolos para distinguir las clases, para los miembros de las clases y para las
relaciones de la pertenencia a una clase y la inclusión en una clase. También se aleja de la lógica
clásica en sus suposiciones de la existencia respecto a las cosas aludidas en sus afirmaciones
universales. La afirmación “Todo A es B” significa en lógica moderna que “Si algo es A, entonces
es B”; lo que, a diferencia de la lógica tradicional, no significa que todo A existe.
Muy relacionadas con la lógica se encuentran la semántica o filosofía del lenguaje, que trata
acerca del significado de las palabras y de las frases; la epistemología, o teoría del conocimiento,
yo lo llamaría el estudio del proceso del conocimiento, que se ocupa de las condiciones bajo las
cuales las afirmaciones son verdaderas; y la psicología del razonamiento, que se refiere a los
procesos mentales que se siguen en el curso de un razonamiento.
La lógica deóntica se formaliza a través de conceptos relacionados con el deber. Este tipo de
lógica se utiliza en el Derecho, infiriéndose del mismo, la denominada lógica de las normas.
La lógica de clases relaciona conceptos con propiedades (sujeto y predicado), estudia además las
implicaciones de unas clases con otras, las cuales suelen ser representados gráficamente
mediante círculos (mejor conocidos como diagramas de Venn) empleando la denominada
“álgebra booleana”.
La lógica cuantificacional que estudia de manera más detallada los predicados a través del uso
de cuantificadores que expresan cantidad (todos ∀ o algunos ∃).
Recuperado: https://sites.google.com/site/logicaypensamientoc/Home/logica/logica-moderna
-1-
TEMA: PROPOSICIÓN LÓGICA Y FORMALIZACIÓN
LÓGICA PROPOSICIONAL
La lógica proposicional es una parte de la lógica matemática, llamada también “Lógica de las
proposiciones”; estudia la semántica de las proposiciones desde un punto de vista lógico,
entendiendo a éstas como enunciados declarativos que tienen la propiedad de ser verdaderos o
falsos, pero no ambos al mismo tiempo. Es decir, buscar sólo su “Significado Lógico”.
-2-
FORMAS DEL PENSAMIENTO
JUICIO
LAS PROPOSICIONES
Las proposiciones son pensamientos en los que se afirma algo y que se expresan, por ello, mediante
enunciados u oraciones declarativas. Recordemos que las oraciones (conjunto de palabras que
expresan pensamientos completos) se dividen en declarativas, imperativas, interrogativas y
exclamativas. Sólo de las oraciones declarativas puede decirse que trasmiten una proposición.
Ejemplos:
A continuación se presentan algunos casos que te indican cuando las oraciones son proposiciones.
-3-
CONECTOR LÓGICO
Son todos aquellos términos que sirven de enlace entre proposiciones o le cambian el valor de
verdad. Son de dos tipos:
A. CONECTOR MONÁDICO
Es aquel que afecta solamente a una proposición atómica. La negación simbolizada por “ ~ “
es el único operador monádico.
B. CONECTOR DIÁDICOS
Reemplazan a los términos de enlace o conectores que unen una proposición simple con otra.
Son operadores diádicos: la conjunción, la disyunción, la implicación y la bicondicional.
Cambia el valor de
Alberto Fujimori no
NEGADOR No verdad de una
~ tiene cáncer.
proposición simple
Da la posibilidad de
DISYUNTOR Juan trabaja o estudia
INCLUSIVO ...o... que se den ambas
en la UCV.
(DÉBIL) proposiciones a la vez
Indica en las
Nuestra moneda se
proposiciones una
REPLICADOR …si… devalúa si su valor
relación de efecto –
disminuye.
causa
-4-
El conector negador: El uso de negadores varía si este es interno o externo.
Negadores Internos (NI) Negadores Externos (NE)
ni Es falso que
no Es mentira que
nunca Es falaz que
jamás Es objetable que
Los negadores internos (NI) afectan siempre a una proposición simple, mientras los negadores
externos (NE) afectan a proposiciones compuestas, colocándose delante de un signo de
agrupación, pero dependiendo del caso podrían convertirse en negadores internos.
Existe también:
TIPOS DE PROPOSICIONES
-5-
II) PROPOSICIONES COMPUESTAS O MOLECULARES:
Contienen uno o más conectores lógicos. De acuerdo al tipo de conector que tienen, se clasifican
en: negativas, conjuntivas, disyuntivas, implicativas, replicativas, biimplicativas.
FORMALIZACIÓN
A las proposiciones simples se les reemplaza por variables proposicionales del Lenguaje
Objeto de la Lógica Proposicional.
Variables
PROCEDIMIENTO DE FORMALIZACIÓN:
Practicando lo Aprendido
Formalizar las siguientes proposiciones siguiendo los 3 pasos:
1. El cerebro es el instrumento más organizado y funcional, ya que está formado por numerosas
células nerviosas.
Paso 1: p: El cerebro es el instrumento más organizado.
Identifica, asigna una variable q: El cerebro es el instrumento más funcional.
proposicional y redacta.
r: El cerebro está formado por numerosas células
nerviosas.
Paso 2:
Identifica conectores lógicos e p y q, ya que r
inserta las variables
proposicionales.
Paso 3:
Escribe la fórmula lógica. (pq)←r
-6-
2. La enfermera es la profesional que aplica los conocimientos científicos así también la experiencia
en el cuidado de las personas enfermas, o incluso ayuda a los médicos al tratar con los
pacientes.
Paso 1: p: La enfermera es la profesional que aplica los
conocimientos científicos en el cuidado de las
Identifica, asigna una variable personas enfermas.
proposicional y redacta.
q: La enfermera es la profesional que aplica la
experiencia en el cuidado de las personas enfermas.
r: La enfermera ayuda a los médicos al tratar con
los pacientes. .
TÉRMINO
CONECTOR LÓGICO EXPRESIONES EQUIVALENTES
REPRESENTATIVO
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 también B
A salvo que B
A salvo que también B
A y bien, o también B
A ya bien, o incluso B
A y/o B
A o bien B
A o B (pero no ambos)
A salvo que solo B
DISYUNTOR A salvo que únicamente B
A o solamente B
EXCLUYENTE
A o solo B
O ... o …
A o tan solo B
A y bien, o también únicamente B
OA oB
O bien A o bien B
O solo A o solo B
-7-
TÉRMINO
CONECTOR LÓGICO EXPRESIONES EQUIVALENTES
REPRESENTATIVO
A a la vez B
A además B
A así como B
A así también B
A aun cuando B
CONJUNTOR A aunque B
A incluso B
... y …
A no obstante B
A pero B
A sin embargo B
A también B
A tanto como B
A yB
Tanto A como B
A de ahí que B
A de manera que B
A de modo que B
A en consecuencia B
A implica B
A luego B
A por consiguiente B
CONDICIONAL A por lo tanto B
Si … , entonces… A solo si B
(Implicador) Dado que A entonces B
Porque A, B
Puesto que A, así pues B
Puesto que A entonces B
Si A, B
Si A entonces B
Ya que A entonces B
Ya que A es evidente que B
A dado que B
A es una condición necesaria para B
REPLICADOR A porque B
A puesto que B
... si ...
A, si B
A, siempre que B
A ya que B
Para A es suficiente B
Para A es una condición suficiente B
Solo si A, B
A cada vez que y solo si B
A cuando y solo cuando B
A entonces y solo entonces B
BIIMPLICADOR A equivale a B
A es equivalente a B
-8-
TÉRMINO
CONECTOR LÓGICO EXPRESIONES EQUIVALENTES
REPRESENTATIVO
Es negable que A
Es no cierto que A
Es objetable que A
Es totalmente falso que A
Imposible que sea A
No es cierto que A
No es concebible que A
No es el caso que A
No es verdad que A
Es absurdo que A
NEGADOR
Es falso que A
~ no 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 mentira que A
Es imposible que A
No ocurre que A
No se cumple que A
Paso 1: p:
q:
Paso 2:
Paso 3:
-9-
2. Puesto que la estadística analiza e interpreta datos reales, entonces nos permite
realizar investigaciones en diferentes campos.
p:
Paso 1: q:
r:
Paso 2:
Paso 3:
p:
q:
Paso 1:
r:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
- 10
-
5. Ya que los bomberos necesitan fortalecer su capacidad operativa y de respuesta ante
las emergencias, entonces asisten al curso internacional de primeros auxilios y
rescate vehicular.
Paso 1:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
- 11
-
8. Si la Ingeniería Civil es la disciplina que emplea la mecánica de suelos, entonces no
es cierto que no se encarga del estudio técnico de la construcción ni del
mantenimiento de la infraestructura vial.
Paso 1:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
- 12
-
11. Dado que la Ingeniería Civil se encarga de la construcción y mantenimiento de las
infraestructuras, entonces es una profesión de gran demanda. Si la Ingeniería Civil
es una profesión de gran demanda, entonces requiere a los estudiantes más
destacados. Por lo tanto Dado que la Ingeniería Civil se encarga de la construcción y
mantenimiento de las infraestructuras, entonces requiere a los estudiantes más
destacados.
Paso 1:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
q:
Paso 2:
Paso 3:
- 13
-
2. La enfermería comunitaria desarrolla y promueve en la comunidad hábitos de
autocuidado; dado que fortalece las conductas saludables.
Paso 1: p:
q:
r:
Paso 2:
Paso 3:
3. Ya que el código penal contiene las normas punitivas de un Estado así como el código
civil contiene las normas de derecho privado, así pues es falso que los ciudadanos no
conozcan sobre las normas jurídicas.
Paso 1: p:
q:
r:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
- 14
-
5. Si la cantidad de nutrientes o incluso de minerales en la dieta que consume una
persona no satisface sus necesidades nutricionales, corre riesgo de mal nutrirse.
Paso 1:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
7. Puesto que las fichas permiten registrar y resumir información para redactar un
proyecto de investigación, así pues son recursos importantes en el proceso de una
investigación.
Paso 1:
Paso 2:
Paso 3:
- 15
-
8. El profesional de Ciencias de la Comunicación se caracteriza por tener una sólida
formación metodológica y científica; en consecuencia interpreta la realidad
socioeconómica con profesionalismo.
Paso 1:
Paso 2:
Paso 3:
Paso 1:
Paso 2:
Paso 3:
10. Las prácticas de laboratorio son esenciales para el aprendizaje de la ciencia porque
permite contrastar la teoría con la práctica. No obstante, representan aprendizajes
en base a la experiencia y requieren la guía de un docente.
Paso 1:
Paso 2:
Paso 3:
V. EVALUACIÓN
Se evaluará con una rúbrica la organización de actividades que estará publicada en la
plataforma TRILCE y la organización práctica.
- 16
-