SlideShare uma empresa Scribd logo
1 de 7
Universidad Fermín Toro
       Vice-rectorado Académico
        Decanato de Ingeniería

Departamento de Mantenimiento Mecánico




   PROPOSICIONES




                                         Henderson Quevedo




             JUNIO 2012
Proposición “Una proposición se define como un enunciado, una oración declarativa, o una
expresión simbólica, de la cual se puede decir sin ambigüedad, que es verdadera o falsa,
pero no ambas”. Ejemplo:
La Coca-Cola es una empresa transnacional…………………………………… verdadero.
Todos los alumnos del ITESCAM son menores de edad……..…………………….. falso
El grupo de ing. mecatrónica está iniciando el curso de matemáticas discretas…….…….
verdadero.



 La veracidad (V) o falsedad (F) de una proposición se llama valor de verdad y viene dada
por algún criterio independiente de la proposición.

Expresiones que no son proposiciones Todas las proposiciones son oraciones, pero no
todas las oraciones son proposiciones, las oraciones exclamativas, exhortativas o
imperativas, las desiderativas y las exclamativas o admirativas no son proposiciones porque
ninguna de ellas afirma o niega algo, por lo tanto no son verdaderas ni falsas, así mismo las
oraciones dubitativas, así como los juicios de valor (a pesar de que afirman algo), no
constituyen proposiciones, pues su veracidad o falsedad no puede ser establecida.



Expresiones que no son               Porque no es una proposición
proposiciones
Ejemplos: Proposición
¡Viva la familia!                    Exclamación o admiración
¿Está lloviendo?                     Pregunta
Lávate la cara                       Imperativa u orden
Pedro es muy malo                    Juicio de valor
Debemos honrar a nuestros            Exhortativa
héroes
Que tengas muy buen día              Desiderativa
Quizá llueva mañana                  Dubitativa

Toda proposición es una oración aseverativa (afirman algo), pero no toda oración
aseverativa es una proposición.
Ejemplos:
· Eduardo es un número racional
· La mesa es inteligente
·X+3=5
· A es la capital de Campeche


Todas las anteriores son ejemplos de expresiones aseverativas, pero no de proposiciones,
son expresiones lingüísticas que tienen apariencia de proposiciones, pero que realmente no
lo son porque no tiene sentido o no se puede afirmar que son verdaderas o falsas. En
conclusión, para que una expresión sea proposición debe cumplir con los siguientes
requisitos:
· Ser oración.
· Afirmar algo.
· Ser bien verdadera o bien falsa


Variables     proposiciones     Las   proposiciones   se   representan   mediante   variables
proposicionales simbolizadas con letras minúsculas p, q, r,...... que se denominan átomos.
Ejemplo: p: Calkiní es un municipio del estado de Campeche. q: Un gobernador puede
reelegirse según la constitución política mexicana. De esta manera podemos decir que “p”
puede ser verdadera o falsa dependiendo de alguna situación, lo mismo para “q” y así poder
asignarle valores de verdad.
Estos símbolos pueden modificarse o combinarse mediante conectivos lógicos dando lugar
a proposiciones compuestas o moleculares.


Conectivos Lógicos (Términos de Enlace) “Son palabras y/o símbolos que enlazan
proposiciones con el fin de construir un lenguajes (verbal o simbólico) más amplio”. Los
conectivos lógicos más usuales son:


                                              |
La jerarquía de las proposiciones son: negación, conjunción, disyunción, implicación,
bicondicional y son asociadas por la izquierda. De esta manera sin nos encontramos ante la
siguiente proposición:


p →q ¬r
El correcto para resolverlo sería para este caso:
1. Primero negamos r ( ¬r )
2. Luego resolvemos la conjunción (q ¬q)
3. Por último resolvemos la implicación →


Pero tiene mayor los signos de agrupación, des esta manera, si nos encontramos con la
proposición: (p →q) ¬r
1. Primero resolvemos la implicación (p →q)
2. Luego hacemos la negación de r ( ¬r )
3. Por ultimo la conjunción.


Incorrectos los siguientes ejemplos:
p¬
q↔r


Solo por mencionar algunos ejemplos, porque podrían haber muchas combinaciones
incorrectas. Formulas bien formadas (wff) A la combinación de proposiciones y
conectivos se la denomina fórmula bien formada (well-formed formula, wff). Una fórmula
bien formada puede ser una proposición simple o compuesta que tiene sentido completo y
cuyo valor de veracidad, puede ser determinado.
Ejemplos:
[ p ( p q ) ] q ; [ p (p q ) ] q
[(pq)(pr)](qr)


No todas las formulas son bien formadas, si a una formula no se le puede dar un valor se
dice que no es un formula bien formada.
Como podemos observar los operadores se colocan a la izquierda de la variable
proposicional, siendo incorrectos los siguientes ejemplos:


Tablas de verdad Son un instrumento empleado en la lógica proposicional, para indicar las
diferentes interpretaciones de una fórmula y el resultado de las mismas. Representan de
manera gráfica todas las posibles combinaciones de los valores de verdad que se formen de
las proposiciones.
Sus valores pueden ser V (verdadero) o F (falso), 1 (encendido) o 0 (apagado), para saber
cuantas filas deben utilizarse se aplica la formula 2n donde “2” representa los dos posibles
valores que puede tomar y “n” es el número de proposiciones con las que se forme la
formula.




Proposición con forma Disyuntiva o Disyunción Una proposición Disyuntiva, es aquella
que está formada por proposiciones atómicas o moleculares, digamos p y q, con el
conectivo Lógico “o”. Se simboliza así: “V”, se escribe: p v q y se lee: “p o q” Existen dos
operadores de disyunción: La disyunción exclusiva o excluyente y la disyunción inclusiva o
incluyente.
Disyunción Inclusiva


Son dos o mas proposiciones de las cueles puedo elegir una o mas de una, se caracteriza por
permitir que las proposiciones que contiene sean todas verdaderas, así que se le llama
también Incluyente.
A continuación se presenta una tabla de los valores que puede tener la Disyunción
Inclusiva:




El joven se encuentra ante dos situaciones que reflejaremos en las siguientes proposiciones:
· p: Juan saca 10 en su examen semanal.
· q: Juan lava el coche de su papá de lunes a viernes.
· p v q: Juan saca 10 en su examen semanal o lava el coche de su papá de lunes a viernes


Proposición con forma de Negación “La negación es una operación unitaria que se
aplica a una proposición y tiene el efecto de revertir el valor de verdad”. Se simboliza así:
“¬” o con el símbolo “ ’ ”, se escribe: ¬ p y se lee: No p; negación de p; o, No es cierto que
p, esto es, si p es verdadera entonces ¬p es falsa, y si p es falsa entonces ¬p es verdadera.
Una proposición de este tipo, puede estar formada por una proposición atómica o molecular
a diferencia de los otros conectivos que afectan a mas de una, digamos p, con el conectivo
Lógico “No”.


CONJUNCIONES COORDINANTES
Unen elementos (palabras u oraciones) que están en el mismo nivel jerárquico, es decir,
Que realizan la misma función o pertenecen a la misma categoría gramatical.
Yo canto y bailo (aquí la conjunción copulativa y une a canto y bailo, que son dos
Verbos).




CONJUNCIONES SUBORDINANTES
Establecen una relación entre dos proposiciones (oraciones) de distinta jerarquía. Una
De ellas está subordinada a la otra, es decir, necesita de ella para tener significación plena,
y Además realiza una función sintáctica de la proposición principal.

Conectivos lógicos:     Uno de los procesos por los cuales adquirimos conocimiento es el
proceso de razonamiento, por ejemplo hay personas que no saben sumar pero pueden hacer
sus compras basándose en simples conductas lógicas que han ido aprendiendo a lo largo de
sus vidas. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o
argumentamos a favor de una conclusión que puede ser cierta o no. Ciertas formas de
razonamiento parecen mostrar que si se suponen ciertas premisas, entonces la conclusión se
sigue necesariamente. A tales razonamientos se los ha denominado deductivos y forman el
objetivo central de lo que clásicamente se ha denominado lógica. En un sentido amplio, el
término lógico hace referencia al estudio de todos los razonamientos, y en un sentido
estricto ha estado circunscrito al estudio del razonamiento deductivo. Cierto tipo de
razonamiento deductivo se basa en la lógica proposicional. Lo que caracteriza a la lógica
proposicional es que toma como unidades básicas a las proposiciones y que tiene en cuenta
como se combinan entre ellas por medio de conectivos lógicos para formar argumentos
Válidos.

Mais conteúdo relacionado

Mais procurados

Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funcionesEdgar Linares
 
Ejercicios de conjuntos
Ejercicios de conjuntosEjercicios de conjuntos
Ejercicios de conjuntosIsrael Ortiz
 
Tema 2 logica proposicional
Tema 2 logica proposicionalTema 2 logica proposicional
Tema 2 logica proposicionalEva Vásquez
 
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...Mareli Rodríguez Ovalle
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSJose Ojeda
 
TEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSTEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSCESAR V
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasSaúl Qc
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdadVideoconferencias UTPL
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresAntoKizz Caztro
 
Soluciones cónicas
Soluciones cónicasSoluciones cónicas
Soluciones cónicasklorofila
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 

Mais procurados (20)

Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funciones
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Matrices
MatricesMatrices
Matrices
 
Ejercicios de conjuntos
Ejercicios de conjuntosEjercicios de conjuntos
Ejercicios de conjuntos
 
Integrales dobles
Integrales  doblesIntegrales  dobles
Integrales dobles
 
Tema 2 logica proposicional
Tema 2 logica proposicionalTema 2 logica proposicional
Tema 2 logica proposicional
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Funciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmicaFunciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmica
 
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
 
TEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSTEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOS
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
 
Soluciones cónicas
Soluciones cónicasSoluciones cónicas
Soluciones cónicas
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Función Valor Absoluto
Función Valor AbsolutoFunción Valor Absoluto
Función Valor Absoluto
 

Destaque

Categorías gramaticales; oración y proposición; sustantivación
Categorías gramaticales; oración y proposición; sustantivaciónCategorías gramaticales; oración y proposición; sustantivación
Categorías gramaticales; oración y proposición; sustantivaciónSandra Casierra
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdaddesousat
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basicaYanina C.J
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógicaMarco Alberca
 
Tablas de verdad en excel
Tablas de verdad en excelTablas de verdad en excel
Tablas de verdad en excelAlfonso Cabanzo
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicosJorge Ruiz
 
Matemáticas logica 6
Matemáticas  logica 6Matemáticas  logica 6
Matemáticas logica 6Ramiro Muñoz
 
Características de la preposición
Características de la preposiciónCaracterísticas de la preposición
Características de la preposiciónVicky Villavicencio
 
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 ProposicionalUnefm
 
Las proposiciones y sus características
Las proposiciones y sus característicasLas proposiciones y sus características
Las proposiciones y sus característicasMarlene Guerrero
 
Lógica
LógicaLógica
Lógicacjperu
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicosEdward Solis
 
Álgebra (lógica)
Álgebra (lógica)Álgebra (lógica)
Álgebra (lógica)cepecole
 

Destaque (20)

Categorías gramaticales; oración y proposición; sustantivación
Categorías gramaticales; oración y proposición; sustantivaciónCategorías gramaticales; oración y proposición; sustantivación
Categorías gramaticales; oración y proposición; sustantivación
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
1 new
1 new1 new
1 new
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógica
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Tablas de verdad en excel
Tablas de verdad en excelTablas de verdad en excel
Tablas de verdad en excel
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Matemáticas logica 6
Matemáticas  logica 6Matemáticas  logica 6
Matemáticas logica 6
 
Características de la preposición
Características de la preposiciónCaracterísticas de la preposición
Características de la preposición
 
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
 
Las proposiciones y sus características
Las proposiciones y sus característicasLas proposiciones y sus características
Las proposiciones y sus características
 
Lógica
LógicaLógica
Lógica
 
Algebra
Algebra  Algebra
Algebra
 
Sumas notables
Sumas notablesSumas notables
Sumas notables
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Álgebra (lógica)
Álgebra (lógica)Álgebra (lógica)
Álgebra (lógica)
 
Taller
TallerTaller
Taller
 

Semelhante a Proposiciones

Proposición
ProposiciónProposición
Proposiciónsheyz10
 
Unidad ii-no-1
Unidad ii-no-1Unidad ii-no-1
Unidad ii-no-1choco-late
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalelisa pizano
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discretamacb02
 
Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)Joaquin Lara Sierra
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposicionesLuis Torres
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos GeneralesPacheco Huarotto, Luis
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.olave_julian
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaFabian_Figueroa
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01masquenumeros
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalFernando Arcos
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlogeovannyboss_1
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicionalluzmonroy
 

Semelhante a Proposiciones (20)

Proposición
ProposiciónProposición
Proposición
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
 
Unidad ii-no-1
Unidad ii-no-1Unidad ii-no-1
Unidad ii-no-1
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Qué es la lógica matemática
Qué es la lógica matemáticaQué es la lógica matemática
Qué es la lógica matemática
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica Proposicional
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 

Proposiciones

  • 1. Universidad Fermín Toro Vice-rectorado Académico Decanato de Ingeniería Departamento de Mantenimiento Mecánico PROPOSICIONES Henderson Quevedo JUNIO 2012
  • 2. Proposición “Una proposición se define como un enunciado, una oración declarativa, o una expresión simbólica, de la cual se puede decir sin ambigüedad, que es verdadera o falsa, pero no ambas”. Ejemplo: La Coca-Cola es una empresa transnacional…………………………………… verdadero. Todos los alumnos del ITESCAM son menores de edad……..…………………….. falso El grupo de ing. mecatrónica está iniciando el curso de matemáticas discretas…….……. verdadero. La veracidad (V) o falsedad (F) de una proposición se llama valor de verdad y viene dada por algún criterio independiente de la proposición. Expresiones que no son proposiciones Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones, las oraciones exclamativas, exhortativas o imperativas, las desiderativas y las exclamativas o admirativas no son proposiciones porque ninguna de ellas afirma o niega algo, por lo tanto no son verdaderas ni falsas, así mismo las oraciones dubitativas, así como los juicios de valor (a pesar de que afirman algo), no constituyen proposiciones, pues su veracidad o falsedad no puede ser establecida. Expresiones que no son Porque no es una proposición proposiciones Ejemplos: Proposición ¡Viva la familia! Exclamación o admiración ¿Está lloviendo? Pregunta Lávate la cara Imperativa u orden Pedro es muy malo Juicio de valor Debemos honrar a nuestros Exhortativa héroes Que tengas muy buen día Desiderativa Quizá llueva mañana Dubitativa Toda proposición es una oración aseverativa (afirman algo), pero no toda oración aseverativa es una proposición.
  • 3. Ejemplos: · Eduardo es un número racional · La mesa es inteligente ·X+3=5 · A es la capital de Campeche Todas las anteriores son ejemplos de expresiones aseverativas, pero no de proposiciones, son expresiones lingüísticas que tienen apariencia de proposiciones, pero que realmente no lo son porque no tiene sentido o no se puede afirmar que son verdaderas o falsas. En conclusión, para que una expresión sea proposición debe cumplir con los siguientes requisitos: · Ser oración. · Afirmar algo. · Ser bien verdadera o bien falsa Variables proposiciones Las proposiciones se representan mediante variables proposicionales simbolizadas con letras minúsculas p, q, r,...... que se denominan átomos. Ejemplo: p: Calkiní es un municipio del estado de Campeche. q: Un gobernador puede reelegirse según la constitución política mexicana. De esta manera podemos decir que “p” puede ser verdadera o falsa dependiendo de alguna situación, lo mismo para “q” y así poder asignarle valores de verdad. Estos símbolos pueden modificarse o combinarse mediante conectivos lógicos dando lugar a proposiciones compuestas o moleculares. Conectivos Lógicos (Términos de Enlace) “Son palabras y/o símbolos que enlazan proposiciones con el fin de construir un lenguajes (verbal o simbólico) más amplio”. Los conectivos lógicos más usuales son: |
  • 4. La jerarquía de las proposiciones son: negación, conjunción, disyunción, implicación, bicondicional y son asociadas por la izquierda. De esta manera sin nos encontramos ante la siguiente proposición: p →q ¬r El correcto para resolverlo sería para este caso: 1. Primero negamos r ( ¬r ) 2. Luego resolvemos la conjunción (q ¬q) 3. Por último resolvemos la implicación → Pero tiene mayor los signos de agrupación, des esta manera, si nos encontramos con la proposición: (p →q) ¬r 1. Primero resolvemos la implicación (p →q) 2. Luego hacemos la negación de r ( ¬r ) 3. Por ultimo la conjunción. Incorrectos los siguientes ejemplos: p¬ q↔r Solo por mencionar algunos ejemplos, porque podrían haber muchas combinaciones incorrectas. Formulas bien formadas (wff) A la combinación de proposiciones y
  • 5. conectivos se la denomina fórmula bien formada (well-formed formula, wff). Una fórmula bien formada puede ser una proposición simple o compuesta que tiene sentido completo y cuyo valor de veracidad, puede ser determinado. Ejemplos: [ p ( p q ) ] q ; [ p (p q ) ] q [(pq)(pr)](qr) No todas las formulas son bien formadas, si a una formula no se le puede dar un valor se dice que no es un formula bien formada. Como podemos observar los operadores se colocan a la izquierda de la variable proposicional, siendo incorrectos los siguientes ejemplos: Tablas de verdad Son un instrumento empleado en la lógica proposicional, para indicar las diferentes interpretaciones de una fórmula y el resultado de las mismas. Representan de manera gráfica todas las posibles combinaciones de los valores de verdad que se formen de las proposiciones. Sus valores pueden ser V (verdadero) o F (falso), 1 (encendido) o 0 (apagado), para saber cuantas filas deben utilizarse se aplica la formula 2n donde “2” representa los dos posibles valores que puede tomar y “n” es el número de proposiciones con las que se forme la formula. Proposición con forma Disyuntiva o Disyunción Una proposición Disyuntiva, es aquella que está formada por proposiciones atómicas o moleculares, digamos p y q, con el conectivo Lógico “o”. Se simboliza así: “V”, se escribe: p v q y se lee: “p o q” Existen dos operadores de disyunción: La disyunción exclusiva o excluyente y la disyunción inclusiva o incluyente.
  • 6. Disyunción Inclusiva Son dos o mas proposiciones de las cueles puedo elegir una o mas de una, se caracteriza por permitir que las proposiciones que contiene sean todas verdaderas, así que se le llama también Incluyente. A continuación se presenta una tabla de los valores que puede tener la Disyunción Inclusiva: El joven se encuentra ante dos situaciones que reflejaremos en las siguientes proposiciones: · p: Juan saca 10 en su examen semanal. · q: Juan lava el coche de su papá de lunes a viernes. · p v q: Juan saca 10 en su examen semanal o lava el coche de su papá de lunes a viernes Proposición con forma de Negación “La negación es una operación unitaria que se aplica a una proposición y tiene el efecto de revertir el valor de verdad”. Se simboliza así: “¬” o con el símbolo “ ’ ”, se escribe: ¬ p y se lee: No p; negación de p; o, No es cierto que p, esto es, si p es verdadera entonces ¬p es falsa, y si p es falsa entonces ¬p es verdadera. Una proposición de este tipo, puede estar formada por una proposición atómica o molecular a diferencia de los otros conectivos que afectan a mas de una, digamos p, con el conectivo Lógico “No”. CONJUNCIONES COORDINANTES Unen elementos (palabras u oraciones) que están en el mismo nivel jerárquico, es decir, Que realizan la misma función o pertenecen a la misma categoría gramatical. Yo canto y bailo (aquí la conjunción copulativa y une a canto y bailo, que son dos
  • 7. Verbos). CONJUNCIONES SUBORDINANTES Establecen una relación entre dos proposiciones (oraciones) de distinta jerarquía. Una De ellas está subordinada a la otra, es decir, necesita de ella para tener significación plena, y Además realiza una función sintáctica de la proposición principal. Conectivos lógicos: Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento, por ejemplo hay personas que no saben sumar pero pueden hacer sus compras basándose en simples conductas lógicas que han ido aprendiendo a lo largo de sus vidas. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor de una conclusión que puede ser cierta o no. Ciertas formas de razonamiento parecen mostrar que si se suponen ciertas premisas, entonces la conclusión se sigue necesariamente. A tales razonamientos se los ha denominado deductivos y forman el objetivo central de lo que clásicamente se ha denominado lógica. En un sentido amplio, el término lógico hace referencia al estudio de todos los razonamientos, y en un sentido estricto ha estado circunscrito al estudio del razonamiento deductivo. Cierto tipo de razonamiento deductivo se basa en la lógica proposicional. Lo que caracteriza a la lógica proposicional es que toma como unidades básicas a las proposiciones y que tiene en cuenta como se combinan entre ellas por medio de conectivos lógicos para formar argumentos Válidos.