SlideShare uma empresa Scribd logo
1 de 6
Baixar para ler offline
PROPOSICIONES Y SU CLASIFICACIÓN
LÓGICA PROPOSICIONAL
Es un sistema lógico que trata la clase de argumentos cuya validez
exclusivamente dependen de cómo están conectados los enunciados.

PROPOSICIONES Y CONECTORES LÓGICOS:
Una proposición o enunciado es una oración diofántica (bivalente) que puede ser
V o F, pero no puede tener estos dos valores de verdad al tiempo.
La proposición es un elemento fundamental de la lógica preposicional ya que cada
proposición tiene una forma lógica la cual se expresa con un nombre o variable
preposicional y se distinguen cuatro tipos de proposiciones:






a)

Enunciados Abiertos
Enunciados Cerrados
Proposiciones Simples
Proposiciones Compuestas

ENUNCIADOS ABIERTOS:

Un enunciado abierto es una oración donde el sujeto de la acción no se identifica
claramente.
Ejemplo:
X es un número par y primo
Y es un día de la semana.

Nota: Un enunciado abierto que involucra una igualdad y en la que se desconocen
uno o varios de sus términos se llama ECUACIÓN.
b)

ENUNCIADOS CERRADOS:

Es un enunciado que puede ser VERADERO o FALSO, cuando identificamos
claramente el sujeto que realiza la acción. Un enunciado abierto, puede
convertirse en un enunciado cerrado, verdadero o falso, al sustituir el término
variable por un término constante elegido de un conjunto referencial.
Ejemplo:
2 es un número par y primo

(Verdadero)

7 es un número par y primo

(Falso)

Carlos es un día de la semana

(Falso)

Jueves es un día de la semana (Verdadero)

c)

PROPOSICIONES SIMPLES:

Una proposición se considera simple si en ella no intervienen conectores lógicos o
términos de enlace. Las proposiciones simples se representan mediante las letras
del alfabeto español p, q, r, s, t, usadas comúnmente. A las cuales se les
denomina como variables proposicionales.
Ejemplo:
p: Camila estudia Medicina
q: Laura estudia Comunicación Social

ENLACES LÓGICOS:
Los conectores son las contrapartidas formales de las conjunciones gramaticales,
mediante las cuales formamos de enunciados simples, otros llamados
compuestos.

“y”

se representa

““

“o”

se representa

“”
“Si…entonces…”
“…si y sólo si…“

“” o “”

se representa
se representa

“No…, ni…”
d)

“  ” o “ ”

se representa.

“  , ~”

PROPOSICIONES COMPUESTAS:

Una proposición compuesta es un enunciado de verdad que está compuesto por
dos o más proposiciones simples, unidas mediante conectores lógicos, formando
una nueva oración.
Una proposición se considera compuesta o molecular si se juntan dos o más
proposiciones simples con términos de enlace o conectores.
Los conectores o términos de enlace “ y “, “ o ”, “Si… entonces”, “Si y solo si”; se
usan para ligar dos proposiciones, el término “ no ”se agrega a una sola
proposición.

Ejemplos:
p: Hoy es día miércoles.
q: Hay clase de lógica matemática.
Estas proposiciones son simples, y con ellas se puede formar o construir
proposiciones compuestas.
Como:
a.

Hoy es día miércoles y hay clase de lógica matemática.
Y se presenta simbólicamente así:
En notación lógica:

b.

“p y q”

pq

Hoy es día miércoles o hay clase de lógica matemática.
Y se presenta simbólicamente así:
En notación lógica:

pq

“p o q”
c.

Si hoy es día miércoles entonces hay clase de lógica matemática.
“Si p entonces q”

Y se presenta simbólicamente así:
En notación lógica:

d.

pq

Hoy es día miércoles si y sólo si hay clase de lógica matemática.
“p si y sólo si q”

Y se presenta simbólicamente así:
En notación lógica:

e.

pq

Hoy no es día miércoles, ni hay clase de lógica matemática.
“no p, ni q”

Y se presenta simbólicamente así:
En notación lógica:

“ p , q ”

En algunos casos se puede presentar ambigüedades en proposiciones
compuestas.

Veamos un ejemplo:

Si hace calor, entonces Yohan no sale y toca el piano.
Es fácil observar que lo podemos interpretar de dos maneras el enunciado
molecular.
a)

Cuando hace calor Yohan no sale y además estudia, haga frío o calor.

b)

Yohan solo estudia cuando hace frío y no sale.

Se podría representar:
p:

Hace frío.

q:

Yohan sale.

r:

Yohan estudia.
En Símbolos:

p  q  r

Pero se presentaría una ambigüedad, como en el lenguaje natural.

Entonces aplicando los signos de agrupación debemos decidir cómo traducirla:
a)

 p  q  r

b)

p  q  r 

SIGNOS DE AGRUPACION:

  Paréntesis

  Corchetes

 Llaves

Con estos elementos del vocabulario, variables, conectivos y signos de agrupación
se puede presentar la sintaxis de la lógica, podemos explicitar las reglas
sintácticas mediante las cuales podemos formar proposiciones moleculares a
partir de otras fórmulas o proposiciones atómicas.

VALORES DE VERDAD DE UNA PROPOSICIÓN
Una proporción puede tener un solo valor de verdad, así este conformando una
proposición compuesta.
Pueden suceder las siguientes probabilidades de acuerdo a cada opción de
trabajo:
Si es una proporción simple:
P
F
V
Si son proposiciones compuestas, depende del número de proposiciones
compuestas:
Si son 2 proposiciones
proposiciones

Si Son 3

P Q

P Q R

V V

V V V

V F

V V F

F V

V F V

F F

V F F
F V V
F V F
F F V
F F F

Si observamos, de acuerdo con el número de proposiciones simples, que
n
conformen una proporción compuesta, obedece a la sucesión 2

 

   

n
1
Si es una proposición 2 = 2  2 , quiere decir que tiene 2 valores de verdad.

 

n
Si una proposición compuesta, tiene 2 proposiciones simples, tendríamos que 2
2
= 2  4 ; es decir, cada proposición puede tener cuatro valores de verdad.

 

 

n
Si una proposición compuesta, tiene 3 proposiciones simples, tendríamos que 2
3
= 2  8 ; es decir, cada proposición puede tener ocho valores de verdad. Y así
sucesivamente.

 

Mais conteúdo relacionado

Mais procurados

Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
Wendy Estupiñan
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
Saúl Qc
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
flakitacm
 

Mais procurados (20)

Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Lógica simbolica
Lógica simbolicaLógica simbolica
Lógica simbolica
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltos
 
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
 
LISTA DE SÍMBOLOS EN ÁLGEBRA
LISTA DE SÍMBOLOS EN ÁLGEBRALISTA DE SÍMBOLOS EN ÁLGEBRA
LISTA DE SÍMBOLOS EN ÁLGEBRA
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.Lógica: Pensamiento verdadero/falso y correcto/incorrecto.
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 

Destaque (6)

Clasificación de las proposiciones
Clasificación de las proposicionesClasificación de las proposiciones
Clasificación de las proposiciones
 
Las proposiciones y sus características
Las proposiciones y sus característicasLas proposiciones y sus características
Las proposiciones y sus características
 
Los operadores lógicos matematicas
Los operadores lógicos matematicasLos operadores lógicos matematicas
Los operadores lógicos matematicas
 
Definición de Energía y su clasificación
Definición de Energía  y su clasificaciónDefinición de Energía  y su clasificación
Definición de Energía y su clasificación
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
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
 

Semelhante a Proposiciones y su clasificación

Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
lemonroy
 
Algebra
Algebra Algebra
Algebra
rogel04
 
Algebra
Algebra Algebra
Algebra
rogel04
 

Semelhante a Proposiciones y su clasificación (20)

Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Taller sobre la logica
Taller sobre la logicaTaller sobre la logica
Taller sobre la logica
 
Logica matematico. :v
Logica matematico. :vLogica matematico. :v
Logica matematico. :v
 
Proposiciones simples-y-complejas
Proposiciones simples-y-complejasProposiciones simples-y-complejas
Proposiciones simples-y-complejas
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Objetivo unidad 1estr
Objetivo unidad 1estrObjetivo unidad 1estr
Objetivo unidad 1estr
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Grado 6 unidad 1
Grado 6 unidad 1Grado 6 unidad 1
Grado 6 unidad 1
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica Proposicional
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
LOGICA DE PROPOSICIONES.ppt
LOGICA DE PROPOSICIONES.pptLOGICA DE PROPOSICIONES.ppt
LOGICA DE PROPOSICIONES.ppt
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 

Mais de angiegutierrez11

Guia de costos de ejercicio marginal
Guia de costos de ejercicio marginalGuia de costos de ejercicio marginal
Guia de costos de ejercicio marginal
angiegutierrez11
 
Guia de aplicacion integrales definidas
Guia de aplicacion integrales definidasGuia de aplicacion integrales definidas
Guia de aplicacion integrales definidas
angiegutierrez11
 
Guía de aplicación por fracciones parciales
Guía de aplicación por fracciones parcialesGuía de aplicación por fracciones parciales
Guía de aplicación por fracciones parciales
angiegutierrez11
 
Guía de inversas trignometricas
Guía de inversas trignometricasGuía de inversas trignometricas
Guía de inversas trignometricas
angiegutierrez11
 
Guía “integración de potencias de funciones trigonométricas”
Guía “integración de potencias de funciones trigonométricas”Guía “integración de potencias de funciones trigonométricas”
Guía “integración de potencias de funciones trigonométricas”
angiegutierrez11
 
Guía sobre integración por partes
Guía sobre integración por partesGuía sobre integración por partes
Guía sobre integración por partes
angiegutierrez11
 
Guía sobre integración por sustitución
Guía sobre integración por sustituciónGuía sobre integración por sustitución
Guía sobre integración por sustitución
angiegutierrez11
 
Guía sobre integral indefinida
Guía sobre integral indefinidaGuía sobre integral indefinida
Guía sobre integral indefinida
angiegutierrez11
 
Clasificación de funciones reales
Clasificación de funciones realesClasificación de funciones reales
Clasificación de funciones reales
angiegutierrez11
 
Metodo de resolucion de ecuaciones
Metodo de resolucion de ecuacionesMetodo de resolucion de ecuaciones
Metodo de resolucion de ecuaciones
angiegutierrez11
 
Productos notables vs factorización
Productos notables vs factorizaciónProductos notables vs factorización
Productos notables vs factorización
angiegutierrez11
 
Operaciones entre expresiones algebraicas
Operaciones entre expresiones algebraicasOperaciones entre expresiones algebraicas
Operaciones entre expresiones algebraicas
angiegutierrez11
 

Mais de angiegutierrez11 (20)

Guia de costos de ejercicio marginal
Guia de costos de ejercicio marginalGuia de costos de ejercicio marginal
Guia de costos de ejercicio marginal
 
Guia de aplicacion integrales definidas
Guia de aplicacion integrales definidasGuia de aplicacion integrales definidas
Guia de aplicacion integrales definidas
 
Guía de aplicación por fracciones parciales
Guía de aplicación por fracciones parcialesGuía de aplicación por fracciones parciales
Guía de aplicación por fracciones parciales
 
Guía de inversas trignometricas
Guía de inversas trignometricasGuía de inversas trignometricas
Guía de inversas trignometricas
 
Guía “integración de potencias de funciones trigonométricas”
Guía “integración de potencias de funciones trigonométricas”Guía “integración de potencias de funciones trigonométricas”
Guía “integración de potencias de funciones trigonométricas”
 
Guía sobre integración por partes
Guía sobre integración por partesGuía sobre integración por partes
Guía sobre integración por partes
 
Guía sobre integración por sustitución
Guía sobre integración por sustituciónGuía sobre integración por sustitución
Guía sobre integración por sustitución
 
Guía sobre integral indefinida
Guía sobre integral indefinidaGuía sobre integral indefinida
Guía sobre integral indefinida
 
Funciones trigonometricas
Funciones trigonometricasFunciones trigonometricas
Funciones trigonometricas
 
Teorema de pitagoras
Teorema de pitagorasTeorema de pitagoras
Teorema de pitagoras
 
Clasificación de funciones reales
Clasificación de funciones realesClasificación de funciones reales
Clasificación de funciones reales
 
Relación y función
Relación y funciónRelación y función
Relación y función
 
Metodo de resolucion de ecuaciones
Metodo de resolucion de ecuacionesMetodo de resolucion de ecuaciones
Metodo de resolucion de ecuaciones
 
Eucación y funciones
Eucación y funcionesEucación y funciones
Eucación y funciones
 
Productos notables vs factorización
Productos notables vs factorizaciónProductos notables vs factorización
Productos notables vs factorización
 
Operaciones entre expresiones algebraicas
Operaciones entre expresiones algebraicasOperaciones entre expresiones algebraicas
Operaciones entre expresiones algebraicas
 
Expresiones algebraicas
Expresiones algebraicasExpresiones algebraicas
Expresiones algebraicas
 
Tablas de valor
Tablas de valorTablas de valor
Tablas de valor
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Regla de tres
Regla de tresRegla de tres
Regla de tres
 

Proposiciones y su clasificación

  • 1. PROPOSICIONES Y SU CLASIFICACIÓN LÓGICA PROPOSICIONAL Es un sistema lógico que trata la clase de argumentos cuya validez exclusivamente dependen de cómo están conectados los enunciados. PROPOSICIONES Y CONECTORES LÓGICOS: Una proposición o enunciado es una oración diofántica (bivalente) que puede ser V o F, pero no puede tener estos dos valores de verdad al tiempo. La proposición es un elemento fundamental de la lógica preposicional ya que cada proposición tiene una forma lógica la cual se expresa con un nombre o variable preposicional y se distinguen cuatro tipos de proposiciones:     a) Enunciados Abiertos Enunciados Cerrados Proposiciones Simples Proposiciones Compuestas ENUNCIADOS ABIERTOS: Un enunciado abierto es una oración donde el sujeto de la acción no se identifica claramente. Ejemplo: X es un número par y primo Y es un día de la semana. Nota: Un enunciado abierto que involucra una igualdad y en la que se desconocen uno o varios de sus términos se llama ECUACIÓN.
  • 2. b) ENUNCIADOS CERRADOS: Es un enunciado que puede ser VERADERO o FALSO, cuando identificamos claramente el sujeto que realiza la acción. Un enunciado abierto, puede convertirse en un enunciado cerrado, verdadero o falso, al sustituir el término variable por un término constante elegido de un conjunto referencial. Ejemplo: 2 es un número par y primo (Verdadero) 7 es un número par y primo (Falso) Carlos es un día de la semana (Falso) Jueves es un día de la semana (Verdadero) c) PROPOSICIONES SIMPLES: Una proposición se considera simple si en ella no intervienen conectores lógicos o términos de enlace. Las proposiciones simples se representan mediante las letras del alfabeto español p, q, r, s, t, usadas comúnmente. A las cuales se les denomina como variables proposicionales. Ejemplo: p: Camila estudia Medicina q: Laura estudia Comunicación Social ENLACES LÓGICOS: Los conectores son las contrapartidas formales de las conjunciones gramaticales, mediante las cuales formamos de enunciados simples, otros llamados compuestos. “y” se representa ““ “o” se representa “”
  • 3. “Si…entonces…” “…si y sólo si…“ “” o “” se representa se representa “No…, ni…” d) “  ” o “ ” se representa. “  , ~” PROPOSICIONES COMPUESTAS: Una proposición compuesta es un enunciado de verdad que está compuesto por dos o más proposiciones simples, unidas mediante conectores lógicos, formando una nueva oración. Una proposición se considera compuesta o molecular si se juntan dos o más proposiciones simples con términos de enlace o conectores. Los conectores o términos de enlace “ y “, “ o ”, “Si… entonces”, “Si y solo si”; se usan para ligar dos proposiciones, el término “ no ”se agrega a una sola proposición. Ejemplos: p: Hoy es día miércoles. q: Hay clase de lógica matemática. Estas proposiciones son simples, y con ellas se puede formar o construir proposiciones compuestas. Como: a. Hoy es día miércoles y hay clase de lógica matemática. Y se presenta simbólicamente así: En notación lógica: b. “p y q” pq Hoy es día miércoles o hay clase de lógica matemática. Y se presenta simbólicamente así: En notación lógica: pq “p o q”
  • 4. c. Si hoy es día miércoles entonces hay clase de lógica matemática. “Si p entonces q” Y se presenta simbólicamente así: En notación lógica: d. pq Hoy es día miércoles si y sólo si hay clase de lógica matemática. “p si y sólo si q” Y se presenta simbólicamente así: En notación lógica: e. pq Hoy no es día miércoles, ni hay clase de lógica matemática. “no p, ni q” Y se presenta simbólicamente así: En notación lógica: “ p , q ” En algunos casos se puede presentar ambigüedades en proposiciones compuestas. Veamos un ejemplo: Si hace calor, entonces Yohan no sale y toca el piano. Es fácil observar que lo podemos interpretar de dos maneras el enunciado molecular. a) Cuando hace calor Yohan no sale y además estudia, haga frío o calor. b) Yohan solo estudia cuando hace frío y no sale. Se podría representar: p: Hace frío. q: Yohan sale. r: Yohan estudia.
  • 5. En Símbolos: p  q  r Pero se presentaría una ambigüedad, como en el lenguaje natural. Entonces aplicando los signos de agrupación debemos decidir cómo traducirla: a)  p  q  r b) p  q  r  SIGNOS DE AGRUPACION:   Paréntesis   Corchetes  Llaves Con estos elementos del vocabulario, variables, conectivos y signos de agrupación se puede presentar la sintaxis de la lógica, podemos explicitar las reglas sintácticas mediante las cuales podemos formar proposiciones moleculares a partir de otras fórmulas o proposiciones atómicas. VALORES DE VERDAD DE UNA PROPOSICIÓN Una proporción puede tener un solo valor de verdad, así este conformando una proposición compuesta. Pueden suceder las siguientes probabilidades de acuerdo a cada opción de trabajo: Si es una proporción simple: P F V Si son proposiciones compuestas, depende del número de proposiciones compuestas:
  • 6. Si son 2 proposiciones proposiciones Si Son 3 P Q P Q R V V V V V V F V V F F V V F V F F V F F F V V F V F F F V F F F Si observamos, de acuerdo con el número de proposiciones simples, que n conformen una proporción compuesta, obedece a la sucesión 2       n 1 Si es una proposición 2 = 2  2 , quiere decir que tiene 2 valores de verdad.   n Si una proposición compuesta, tiene 2 proposiciones simples, tendríamos que 2 2 = 2  4 ; es decir, cada proposición puede tener cuatro valores de verdad.     n Si una proposición compuesta, tiene 3 proposiciones simples, tendríamos que 2 3 = 2  8 ; es decir, cada proposición puede tener ocho valores de verdad. Y así sucesivamente.  