SlideShare una empresa de Scribd logo
1 de 31
Lógica
Proposicional
Es probable que en el siglo IV antes de la Era Común,
se iniciara con Aristóteles el estudio de la Lógica; pero
no fue hasta a mediados del siglo XIX cuando George
Boole (1815-1864) inicia el estudio de lo que hoy se
conoce como Lógica Matemática.
Uno de los fines de la enseñanza matemática es
disciplinar la inteligencia, de ahí el valor formativo de
esta ciencia ya que necesita de exactitud y precisión en
sus razonamientos.
La inteligencia se disciplina a través de un tipo
especial de pensamiento que es el razonamiento.
El objetivo de la lógica es estudiar la validez de los
razonamientos.
La validez de la lógica es una relación entre las
premisas y la conclusión expresada a través de una serie
de símbolos matemáticos y/o auxiliares llamados
enunciados. Por medio de un enunciado con sentido
podemos emitir un juicio (actividad mental por medio
de lo cual pensamos algo) o un razonamiento
(evaluación mental por medio de lo cual obtenemos
conclusiones).
Concepto de la Lógica:
La lógica es una relación entre las premisas y la
conclusión expresada a través de una serie de símbolos
matemáticos y/o auxiliares llamados enunciados.
Para su estudio, se divide en: Lógica Formal, Lógica
Aplicada y Lógica Simbólica.
Lógica Formal: es la parte de la filosofía que estudia las
formas y leyes generales del pensamiento tendiente al
conocimiento de la verdad y el error.
Lógica Aplicada: es la que estudia las formas o estructura
del pensamiento adaptándose al objeto de su estudio de
distintas ciencias.
Lógica Simbólica: es la que estudia sistemáticamente las
proposiciones, los razonamientos y las demostraciones
lo cual utiliza un lenguaje constituido por símbolos
convencionales que representan estructuras.
La lógica simbólica es aquella que se refiere a las
proposiciones y que también se conoce con el
nombre de CALCULO PROPOSICIONAL.
Sistemas de Deducción Natural
Introducidos por Gentzen en 1935, estos sistemas
deductivos se refieren al hecho de moldear de manera
tan cercana como sea posible el razonamiento humano,
o al menos al razonamiento matemático hecho por
personas mediante distintos juicios.
Un enunciado: es un conjunto de símbolos por
medio de los cuales expresamos lo pensado en un juicio,
ya sea en forma oral o escrita. Un enunciado es una
proposición.
Proposición:
Son aquellos enunciados afirmativos del cual se
que tiene dos valores de la verdad: verdadero o
falso.
Por ejemplo:
3 es un numero par, su valor de verdad es F
45 – 8 = 8, su valor de verdad es F
45 x 2 = 90, se valor de verdad es V
Proposiciones Ambiguas
Son aquellas proposiciones en las que su verdad o
falsedad no puede ser establecida.
Ejemplos:
• ¿Qué es la lógica?
• Debemos honrar a nuestros héroes.
• Sea en hora buena.
• ¡Por Júpiter! ¡Casi me saco la lotería
Enunciados NO proposiciones:
Se llama así a aquellas expresiones o enunciados
exclamativos, interrogativos y desiderativos. De estos
no se puede saber si son verdaderos o falsos, porque
no afirman ni niegan nada. Por ejemplo:
• ¡Uff, que calor!
• ¿están cansados?
• Escriban rápido
Proposiciones abiertas
Se llama así a aquellos enunciados que contienen una
más variables. Estas no pueden ser ni verdaderos ni
falsos, ya que no afirman nada.
Ejemplos:
• X es la capital de Uruguay
• X es un planeta del sistema solar
• x -13 = 28 • 2x-7 > 25
• X es una vocal
Sin embargo estos enunciados abiertos se pueden
convertir en proposiciones verdaderas o falsas -
¿cómo? – reemplazando la variable o variables por un
nombre, palabra, número, letra o cualquier símbolo,
según sea el caso.
Así del primer ejemplo tenemos:
• X es la capital de Uruguay
Si X=Buenos Aires entonces la expresión se lee: “Buenos
Aires es la capital de Uruguay”
Se observa el enunciado abierto se convirtió en una
proposición falsa.
Proposiciones Simples también llamadas
atómicas o elementales: Es el que no tiene otro
enunciado como parte componente.
Ejemplo: “dos al cubo es igual a 8”.
Proposiciones compuestos también llamadas
proposiciones moleculares o coligativas:
Un enunciado compuesto contiene otro enunciado como
componente. son las que constan de dos o más
proposiciones simples entrelazadas por ciertas
particularidades lógicas llamadas conectivas lógicas.
Las proposiciones se representan por las letras
minúsculas: p, q, r, s, t, .... Pero también se usa la
notación: p1, p2, p3, p4, p5
Conectivas Lógicas
Las Conectivas Lógicas son aquellas que sirven para
formar proposiciones compuestas. Simbólicamente las
conectivas lógicas se representan del modo siguiente:
Clasificación de las proposiciones
compuestas
La negación: la conectiva “no” es la que se antepone a
una proposición para cambiar su valor de verdad y se
representa por el símbolo “” o bien “” o bien “’”.
La conjunción: es una proposición compuesta que se
obtiene al unir dos proposiciones simples unidas o
entrelazadas mediante el conectivo “y”, y se representa
con el símbolo: “”
La disyunción Inclusiva: es una proposición compuesta
de dos proposiciones simples unidas por el conectivo
lógico “o”, que se representa de la manera siguiente “”.
La disyunción Exclusiva: es una proposición compuesta
por dos proposiciones simples entrelazadas por el
conectivo “O…o” y se representa así: “V”.
La condicional o Implicación: es la combinación de dos
proposiciones unidas por la conectiva “si…entonces”,
que se representa de la siguiente forma: “”. La
proposición que aparece entre las palabras “Si y
Entonces”, se denomina antecedente o hipótesis y la
que aparece después de la palabra “Entonces”, se le
llama consecuente o conclusión.
La Bicondicional o Doble implicación: es una
proposición que se obtiene al unir dos proposiciones
simples mediante el conectivo “si y solo si” y se
representa así: “”.
http://c.conclase.net/edd/?cap=006#inicio
Reglas de simbolización
1) Cada uno de los enunciados simples del lenguaje
natural se sustituirá por variables proposicionales
simbolizadas por letras minúsculas: p, q, r, s, t, … z
2) Las expresiones de lenguaje natural tales como:
No
No es cierto
No es el caso que
Es falso
Es imposible
Y todas aquellas que sean equivalentes, se sustituirán por
el símbolo: ,  , ‘ ,
3) Las expresiones del lenguaje natural tales como:
Y
Ni
Pero
Que
Mas
Y todas las que sean equivalentes, se sustituyen por el
símbolo  (conjunción).
4) Las expresiones de lenguaje natural tales como:
o
…o
bien …bien
ya … ya
y sus equivalentes se sustituyen por el símbolo 
(disyunción).
5) Las expresiones naturales tales como:
 Si … entonces
 Luego…
 Por tanto
 Por consiguiente
 Con tal que
 Se infiere
 Se deduce
 No … a menos que …
Y sus equivalentes se sustituirán por el símbolo 
(condicional).
6) Las expresiones del lenguaje natural tales como:
…. Si y solo si….
…. Equivale a ….
…. Es igual a ….
…. Es lo mismo que ….
Y sus equivalencias se sustituirán por el símbolo 
(Bicondicional).
Otras formas gramaticales de una disyunción serán:
p a menos que q p salvo que q
p excepto q p o de lo contrario q
p o en tal sentido q p y/o q
p y q p no obstante q
p además q p sin embargo q
p cada vez que q p pero q
No solo p también q p del mismo modo q
p pero, aunque q p así como q
p incluso, inclusive, tal como, al
igual que q
p así mismo q
p ambos a la vez p y q Sin p tampoco puede haber q
Tanto p como q Cierto es que p lo mismo que q
Es compatible p con q Siempre ambos p con q
p simultáneamente q p más, al mismo tiempo q
Otras formas gramaticales de la
conjunción serán:
Siempre…… Por consiguiente …
Con tal de que…… Es obvio …
Cuando …. Así pues …
Cada vez que … En consecuencia …
Cada vez… Consiguientemente
Con que … En este caso …
En el caso de que … Esto trae consigo …
A condición de que … Por eso…
Dado que… Según lo cual …
Como quiera que … Por lo cual …
En la medida en que … De allí que …
En cuanto … Por tanto …
Otras formas gramaticales a la condicional serán:
Uso de paréntesis
1) No se utilizan paréntesis en aquellos casos en que los
conectores afecten a enunciados simples o atómicos.
2) Se utiliza paréntesis cuando el conector afecte a toda
una conjunción, disyunción condicional o bicondicional.
3) Se utiliza el paréntesis en las expresiones conjuntivas y
disyuntivas precedidas o seguidas de un condicionador
o bicondicionador.
bicondicionador que son las conectivas fuertes.
4) Se utiliza el paréntesis en las expresiones que nos
interese precisar la dominancia del conector, o bien
porque los conectores posean la misma dominancia –
como es el caso del conjuntador y el disyuntor que son
idempotentes –o bien porque el sentido de la expresión
exige la alteración de la dominancia de las conectivas
fuentes –el condicionador y el el bicondicionador que
son las conectivas fuertes.
Valor de verdad de las proposiciones
compuestas y su tabla de verdad
Concepto de Tautología
Una proposición compuesta es lógicamente verdadera
tautológica cuando es verdadera siempre,
independientemente de los valores de verdad de las
proposiciones simples que la forman.
Ejemplo:
Concepto de Contradicción
La contradicción: es una proposición compuesta que es
falsa independientemente de los valores de verdad de
las proposiciones que la formen.
Ejemplo:
Concepto de contingencia
La contingencia: es la combinación de la
tautología y la contradicción.
Ejemplo:

Más contenido relacionado

La actualidad más candente (20)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica
LógicaLógica
Lógica
 
Logica y argumento
Logica y argumentoLogica y argumento
Logica y argumento
 
Conectivos
ConectivosConectivos
Conectivos
 
Polinomios Problemas Solucionados
Polinomios Problemas SolucionadosPolinomios Problemas Solucionados
Polinomios Problemas Solucionados
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
CIRCUITOS LÓGICOS: Práctica
CIRCUITOS LÓGICOS: PrácticaCIRCUITOS LÓGICOS: Práctica
CIRCUITOS LÓGICOS: Práctica
 
Teoremas sobre ecuaciones
Teoremas sobre ecuacionesTeoremas sobre ecuaciones
Teoremas sobre ecuaciones
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 

Destacado

Operadores verofuncionais cálculo proposicional
Operadores verofuncionais   cálculo proposicionalOperadores verofuncionais   cálculo proposicional
Operadores verofuncionais cálculo proposicionalDiogo Santos
 
Cálculo proposicional e avaliação de argumentos
Cálculo proposicional e avaliação de argumentosCálculo proposicional e avaliação de argumentos
Cálculo proposicional e avaliação de argumentosJoaquim Melro
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicionalpppeeppe
 
Revolução lógica
Revolução lógicaRevolução lógica
Revolução lógicaDiogo Santos
 
Cálculo proposicional
Cálculo proposicionalCálculo proposicional
Cálculo proposicionalDiogo Santos
 
Argumentação e lógica formal
Argumentação e lógica formalArgumentação e lógica formal
Argumentação e lógica formalJoaquim Melro
 
Questões resolvidas Raciocínio Lógico-Matemático
Questões resolvidas Raciocínio Lógico-MatemáticoQuestões resolvidas Raciocínio Lógico-Matemático
Questões resolvidas Raciocínio Lógico-MatemáticoJeferson Romão
 

Destacado (16)

Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Operadores verofuncionais cálculo proposicional
Operadores verofuncionais   cálculo proposicionalOperadores verofuncionais   cálculo proposicional
Operadores verofuncionais cálculo proposicional
 
Cálculo proposicional e avaliação de argumentos
Cálculo proposicional e avaliação de argumentosCálculo proposicional e avaliação de argumentos
Cálculo proposicional e avaliação de argumentos
 
Lógica proposicionaal
Lógica proposicionaalLógica proposicionaal
Lógica proposicionaal
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Aula03 - Lógica
Aula03 - LógicaAula03 - Lógica
Aula03 - Lógica
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicional
 
Logica aula00-2sem2011
Logica aula00-2sem2011Logica aula00-2sem2011
Logica aula00-2sem2011
 
Tarea 13 andrade
Tarea 13 andradeTarea 13 andrade
Tarea 13 andrade
 
Operadores lógicos
Operadores lógicosOperadores lógicos
Operadores lógicos
 
Revolução lógica
Revolução lógicaRevolução lógica
Revolução lógica
 
Cálculo proposicional
Cálculo proposicionalCálculo proposicional
Cálculo proposicional
 
Lógica clássica
Lógica clássicaLógica clássica
Lógica clássica
 
Argumentação e lógica formal
Argumentação e lógica formalArgumentação e lógica formal
Argumentação e lógica formal
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Questões resolvidas Raciocínio Lógico-Matemático
Questões resolvidas Raciocínio Lógico-MatemáticoQuestões resolvidas Raciocínio Lógico-Matemático
Questões resolvidas Raciocínio Lógico-Matemático
 

Similar a Lógica Proposicional

Similar a Lógica Proposicional (20)

Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
Proposición
ProposiciónProposición
Proposición
 
Algebra tarea 1
Algebra tarea 1Algebra tarea 1
Algebra tarea 1
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Logica matematico. :v
Logica matematico. :vLogica matematico. :v
Logica matematico. :v
 
Lógica computacional
Lógica computacionalLógica computacional
Lógica computacional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Tecnicas de programación
Tecnicas de programaciónTecnicas de programación
Tecnicas de programación
 
Calculo proposicional.docx
Calculo proposicional.docxCalculo proposicional.docx
Calculo proposicional.docx
 
Calculo proposicional.docx
Calculo proposicional.docxCalculo proposicional.docx
Calculo proposicional.docx
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
Logica proporcional
Logica proporcionalLogica proporcional
Logica proporcional
 
Grado 6 unidad 1
Grado 6 unidad 1Grado 6 unidad 1
Grado 6 unidad 1
 
Ppt cepre uni 2016 - lógica i
Ppt cepre uni 2016 - lógica iPpt cepre uni 2016 - lógica i
Ppt cepre uni 2016 - lógica i
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Objetivo unidad 1estr
Objetivo unidad 1estrObjetivo unidad 1estr
Objetivo unidad 1estr
 

Último

TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptxTEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptxYEDSONJACINTOBUSTAMA
 
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...ssuser646243
 
produccion de cerdos. 2024 abril 20..pptx
produccion de cerdos. 2024 abril 20..pptxproduccion de cerdos. 2024 abril 20..pptx
produccion de cerdos. 2024 abril 20..pptxEtse9
 
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIACLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIAMayraOchoa35
 
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfPresentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfMirthaFernandez12
 
AVANCE EXPEDIENTE TECNICO POROTO - TRUJILLO
AVANCE EXPEDIENTE TECNICO POROTO - TRUJILLOAVANCE EXPEDIENTE TECNICO POROTO - TRUJILLO
AVANCE EXPEDIENTE TECNICO POROTO - TRUJILLOSANTOSESTANISLAORODR
 
Peligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionPeligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionOsdelTacusiPancorbo
 
LEYES DE EXPONENTES SEMANA 1 CESAR VALLEJO.pdf
LEYES DE EXPONENTES SEMANA 1 CESAR VALLEJO.pdfLEYES DE EXPONENTES SEMANA 1 CESAR VALLEJO.pdf
LEYES DE EXPONENTES SEMANA 1 CESAR VALLEJO.pdfAdelaHerrera9
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPJosLuisFrancoCaldern
 
Propositos del comportamiento de fases y aplicaciones
Propositos del comportamiento de fases y aplicacionesPropositos del comportamiento de fases y aplicaciones
Propositos del comportamiento de fases y aplicaciones025ca20
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdfEdwinAlexanderSnchez2
 
Fijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEFijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEANDECE
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxEduardoSnchezHernnde5
 
Edificio residencial Becrux en Madrid. Fachada de GRC
Edificio residencial Becrux en Madrid. Fachada de GRCEdificio residencial Becrux en Madrid. Fachada de GRC
Edificio residencial Becrux en Madrid. Fachada de GRCANDECE
 
Fe_C_Tratamientos termicos_uap _3_.ppt
Fe_C_Tratamientos termicos_uap   _3_.pptFe_C_Tratamientos termicos_uap   _3_.ppt
Fe_C_Tratamientos termicos_uap _3_.pptVitobailon
 
Topografía 1 Nivelación y Carretera en la Ingenierías
Topografía 1 Nivelación y Carretera en la IngenieríasTopografía 1 Nivelación y Carretera en la Ingenierías
Topografía 1 Nivelación y Carretera en la IngenieríasSegundo Silva Maguiña
 
Descubrimiento de la penicilina en la segunda guerra mundial
Descubrimiento de la penicilina en la segunda guerra mundialDescubrimiento de la penicilina en la segunda guerra mundial
Descubrimiento de la penicilina en la segunda guerra mundialyajhairatapia
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)ssuser6958b11
 
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdfCENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdfpaola110264
 
SOUDAL: Soluciones de sellado, pegado y hermeticidad
SOUDAL: Soluciones de sellado, pegado y hermeticidadSOUDAL: Soluciones de sellado, pegado y hermeticidad
SOUDAL: Soluciones de sellado, pegado y hermeticidadANDECE
 

Último (20)

TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptxTEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
 
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
 
produccion de cerdos. 2024 abril 20..pptx
produccion de cerdos. 2024 abril 20..pptxproduccion de cerdos. 2024 abril 20..pptx
produccion de cerdos. 2024 abril 20..pptx
 
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIACLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
 
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfPresentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
 
AVANCE EXPEDIENTE TECNICO POROTO - TRUJILLO
AVANCE EXPEDIENTE TECNICO POROTO - TRUJILLOAVANCE EXPEDIENTE TECNICO POROTO - TRUJILLO
AVANCE EXPEDIENTE TECNICO POROTO - TRUJILLO
 
Peligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionPeligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacion
 
LEYES DE EXPONENTES SEMANA 1 CESAR VALLEJO.pdf
LEYES DE EXPONENTES SEMANA 1 CESAR VALLEJO.pdfLEYES DE EXPONENTES SEMANA 1 CESAR VALLEJO.pdf
LEYES DE EXPONENTES SEMANA 1 CESAR VALLEJO.pdf
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
 
Propositos del comportamiento de fases y aplicaciones
Propositos del comportamiento de fases y aplicacionesPropositos del comportamiento de fases y aplicaciones
Propositos del comportamiento de fases y aplicaciones
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf
 
Fijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEFijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSE
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptx
 
Edificio residencial Becrux en Madrid. Fachada de GRC
Edificio residencial Becrux en Madrid. Fachada de GRCEdificio residencial Becrux en Madrid. Fachada de GRC
Edificio residencial Becrux en Madrid. Fachada de GRC
 
Fe_C_Tratamientos termicos_uap _3_.ppt
Fe_C_Tratamientos termicos_uap   _3_.pptFe_C_Tratamientos termicos_uap   _3_.ppt
Fe_C_Tratamientos termicos_uap _3_.ppt
 
Topografía 1 Nivelación y Carretera en la Ingenierías
Topografía 1 Nivelación y Carretera en la IngenieríasTopografía 1 Nivelación y Carretera en la Ingenierías
Topografía 1 Nivelación y Carretera en la Ingenierías
 
Descubrimiento de la penicilina en la segunda guerra mundial
Descubrimiento de la penicilina en la segunda guerra mundialDescubrimiento de la penicilina en la segunda guerra mundial
Descubrimiento de la penicilina en la segunda guerra mundial
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
 
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdfCENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
 
SOUDAL: Soluciones de sellado, pegado y hermeticidad
SOUDAL: Soluciones de sellado, pegado y hermeticidadSOUDAL: Soluciones de sellado, pegado y hermeticidad
SOUDAL: Soluciones de sellado, pegado y hermeticidad
 

Lógica Proposicional

  • 2. Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica; pero no fue hasta a mediados del siglo XIX cuando George Boole (1815-1864) inicia el estudio de lo que hoy se conoce como Lógica Matemática. Uno de los fines de la enseñanza matemática es disciplinar la inteligencia, de ahí el valor formativo de esta ciencia ya que necesita de exactitud y precisión en sus razonamientos. La inteligencia se disciplina a través de un tipo especial de pensamiento que es el razonamiento. El objetivo de la lógica es estudiar la validez de los razonamientos.
  • 3. La validez de la lógica es una relación entre las premisas y la conclusión expresada a través de una serie de símbolos matemáticos y/o auxiliares llamados enunciados. Por medio de un enunciado con sentido podemos emitir un juicio (actividad mental por medio de lo cual pensamos algo) o un razonamiento (evaluación mental por medio de lo cual obtenemos conclusiones).
  • 4. Concepto de la Lógica: La lógica es una relación entre las premisas y la conclusión expresada a través de una serie de símbolos matemáticos y/o auxiliares llamados enunciados. Para su estudio, se divide en: Lógica Formal, Lógica Aplicada y Lógica Simbólica. Lógica Formal: es la parte de la filosofía que estudia las formas y leyes generales del pensamiento tendiente al conocimiento de la verdad y el error.
  • 5. Lógica Aplicada: es la que estudia las formas o estructura del pensamiento adaptándose al objeto de su estudio de distintas ciencias. Lógica Simbólica: es la que estudia sistemáticamente las proposiciones, los razonamientos y las demostraciones lo cual utiliza un lenguaje constituido por símbolos convencionales que representan estructuras. La lógica simbólica es aquella que se refiere a las proposiciones y que también se conoce con el nombre de CALCULO PROPOSICIONAL.
  • 6. Sistemas de Deducción Natural Introducidos por Gentzen en 1935, estos sistemas deductivos se refieren al hecho de moldear de manera tan cercana como sea posible el razonamiento humano, o al menos al razonamiento matemático hecho por personas mediante distintos juicios. Un enunciado: es un conjunto de símbolos por medio de los cuales expresamos lo pensado en un juicio, ya sea en forma oral o escrita. Un enunciado es una proposición.
  • 7.
  • 8. Proposición: Son aquellos enunciados afirmativos del cual se que tiene dos valores de la verdad: verdadero o falso. Por ejemplo: 3 es un numero par, su valor de verdad es F 45 – 8 = 8, su valor de verdad es F 45 x 2 = 90, se valor de verdad es V
  • 9. Proposiciones Ambiguas Son aquellas proposiciones en las que su verdad o falsedad no puede ser establecida. Ejemplos: • ¿Qué es la lógica? • Debemos honrar a nuestros héroes. • Sea en hora buena. • ¡Por Júpiter! ¡Casi me saco la lotería
  • 10. Enunciados NO proposiciones: Se llama así a aquellas expresiones o enunciados exclamativos, interrogativos y desiderativos. De estos no se puede saber si son verdaderos o falsos, porque no afirman ni niegan nada. Por ejemplo: • ¡Uff, que calor! • ¿están cansados? • Escriban rápido
  • 11. Proposiciones abiertas Se llama así a aquellos enunciados que contienen una más variables. Estas no pueden ser ni verdaderos ni falsos, ya que no afirman nada. Ejemplos: • X es la capital de Uruguay • X es un planeta del sistema solar • x -13 = 28 • 2x-7 > 25 • X es una vocal Sin embargo estos enunciados abiertos se pueden convertir en proposiciones verdaderas o falsas - ¿cómo? – reemplazando la variable o variables por un nombre, palabra, número, letra o cualquier símbolo, según sea el caso.
  • 12. Así del primer ejemplo tenemos: • X es la capital de Uruguay Si X=Buenos Aires entonces la expresión se lee: “Buenos Aires es la capital de Uruguay” Se observa el enunciado abierto se convirtió en una proposición falsa. Proposiciones Simples también llamadas atómicas o elementales: Es el que no tiene otro enunciado como parte componente. Ejemplo: “dos al cubo es igual a 8”.
  • 13. Proposiciones compuestos también llamadas proposiciones moleculares o coligativas: Un enunciado compuesto contiene otro enunciado como componente. son las que constan de dos o más proposiciones simples entrelazadas por ciertas particularidades lógicas llamadas conectivas lógicas. Las proposiciones se representan por las letras minúsculas: p, q, r, s, t, .... Pero también se usa la notación: p1, p2, p3, p4, p5
  • 14. Conectivas Lógicas Las Conectivas Lógicas son aquellas que sirven para formar proposiciones compuestas. Simbólicamente las conectivas lógicas se representan del modo siguiente:
  • 15. Clasificación de las proposiciones compuestas La negación: la conectiva “no” es la que se antepone a una proposición para cambiar su valor de verdad y se representa por el símbolo “” o bien “” o bien “’”. La conjunción: es una proposición compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas mediante el conectivo “y”, y se representa con el símbolo: “” La disyunción Inclusiva: es una proposición compuesta de dos proposiciones simples unidas por el conectivo lógico “o”, que se representa de la manera siguiente “”.
  • 16. La disyunción Exclusiva: es una proposición compuesta por dos proposiciones simples entrelazadas por el conectivo “O…o” y se representa así: “V”. La condicional o Implicación: es la combinación de dos proposiciones unidas por la conectiva “si…entonces”, que se representa de la siguiente forma: “”. La proposición que aparece entre las palabras “Si y Entonces”, se denomina antecedente o hipótesis y la que aparece después de la palabra “Entonces”, se le llama consecuente o conclusión. La Bicondicional o Doble implicación: es una proposición que se obtiene al unir dos proposiciones simples mediante el conectivo “si y solo si” y se representa así: “”.
  • 17. http://c.conclase.net/edd/?cap=006#inicio Reglas de simbolización 1) Cada uno de los enunciados simples del lenguaje natural se sustituirá por variables proposicionales simbolizadas por letras minúsculas: p, q, r, s, t, … z 2) Las expresiones de lenguaje natural tales como: No No es cierto No es el caso que Es falso Es imposible Y todas aquellas que sean equivalentes, se sustituirán por el símbolo: ,  , ‘ ,
  • 18. 3) Las expresiones del lenguaje natural tales como: Y Ni Pero Que Mas Y todas las que sean equivalentes, se sustituyen por el símbolo  (conjunción). 4) Las expresiones de lenguaje natural tales como: o …o bien …bien ya … ya y sus equivalentes se sustituyen por el símbolo  (disyunción).
  • 19. 5) Las expresiones naturales tales como:  Si … entonces  Luego…  Por tanto  Por consiguiente  Con tal que  Se infiere  Se deduce  No … a menos que … Y sus equivalentes se sustituirán por el símbolo  (condicional).
  • 20. 6) Las expresiones del lenguaje natural tales como: …. Si y solo si…. …. Equivale a …. …. Es igual a …. …. Es lo mismo que …. Y sus equivalencias se sustituirán por el símbolo  (Bicondicional).
  • 21. Otras formas gramaticales de una disyunción serán: p a menos que q p salvo que q p excepto q p o de lo contrario q p o en tal sentido q p y/o q
  • 22. p y q p no obstante q p además q p sin embargo q p cada vez que q p pero q No solo p también q p del mismo modo q p pero, aunque q p así como q p incluso, inclusive, tal como, al igual que q p así mismo q p ambos a la vez p y q Sin p tampoco puede haber q Tanto p como q Cierto es que p lo mismo que q Es compatible p con q Siempre ambos p con q p simultáneamente q p más, al mismo tiempo q Otras formas gramaticales de la conjunción serán:
  • 23. Siempre…… Por consiguiente … Con tal de que…… Es obvio … Cuando …. Así pues … Cada vez que … En consecuencia … Cada vez… Consiguientemente Con que … En este caso … En el caso de que … Esto trae consigo … A condición de que … Por eso… Dado que… Según lo cual … Como quiera que … Por lo cual … En la medida en que … De allí que … En cuanto … Por tanto … Otras formas gramaticales a la condicional serán:
  • 24. Uso de paréntesis 1) No se utilizan paréntesis en aquellos casos en que los conectores afecten a enunciados simples o atómicos. 2) Se utiliza paréntesis cuando el conector afecte a toda una conjunción, disyunción condicional o bicondicional. 3) Se utiliza el paréntesis en las expresiones conjuntivas y disyuntivas precedidas o seguidas de un condicionador o bicondicionador. bicondicionador que son las conectivas fuertes.
  • 25. 4) Se utiliza el paréntesis en las expresiones que nos interese precisar la dominancia del conector, o bien porque los conectores posean la misma dominancia – como es el caso del conjuntador y el disyuntor que son idempotentes –o bien porque el sentido de la expresión exige la alteración de la dominancia de las conectivas fuentes –el condicionador y el el bicondicionador que son las conectivas fuertes.
  • 26. Valor de verdad de las proposiciones compuestas y su tabla de verdad
  • 27.
  • 28.
  • 29. Concepto de Tautología Una proposición compuesta es lógicamente verdadera tautológica cuando es verdadera siempre, independientemente de los valores de verdad de las proposiciones simples que la forman. Ejemplo:
  • 30. Concepto de Contradicción La contradicción: es una proposición compuesta que es falsa independientemente de los valores de verdad de las proposiciones que la formen. Ejemplo:
  • 31. Concepto de contingencia La contingencia: es la combinación de la tautología y la contradicción. Ejemplo: