SlideShare ist ein Scribd-Unternehmen logo
1 von 6
Downloaden Sie, um offline zu lesen
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.

 

Weitere ähnliche Inhalte

Was ist angesagt?

Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
Wilbert Tapia
 

Was ist angesagt? (20)

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
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 

Andere mochten auch (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
 

Ähnlich wie 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
 

Ähnlich wie 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
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
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
 

Mehr von 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
 

Mehr von 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
 
Regla de tres
Regla de tresRegla de tres
Regla de tres
 
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.  