SlideShare una empresa de Scribd logo
1 de 9
LÓGICA
PROPORCIONAL

ANA MACIAS
VERA
Es una función proposicional, el cual se convierte en proposición cuando:
i. Para x = -3 (por ejemplo), se convierte en la proposición
(-3)2 + 1 = 5……………………… (F)
el cual tiene valor de verdad Falsa
ii. Para x = 2, entonces, será la proposición

(2)2 + 1 = 5 ……………………… (V)
el cual tiene valor de verdad Verdadera
Notación

Usaremos las letras minúsculas p, q, r,… para simbolizar las proposiciones.
Las proposiciones se pueden combinar para obtener proposiciones
compuestas utilizando conectivos lógicos que veremos a continuación:
TABLAS DE VERDAD
La definición de proposición nos dice que
debe ser una oración a la cual se le puede
asignar un valor de verdad de manera
precisa, sin ambigüedades. Ahora bien, ¿cómo
le asignamos un valor de verdad a las
proposiciones compuestas?, es decir, a las
proposiciones que contienen alguno de los
conectivos lógicos. Esto lo haremos a través
de tablas de verdad.
TABLA DE NEGACION.
Observamos que si p es verdadera, entonces (p es falso; si p es
falso, entonces (p es verdadero. Es decir, el valor de la negación de un
enunciado es siempre opuesto al valor de verdad del enunciado inicial. La
negación de una negación es siempre la proposición original

p

-p

-(p)

V

F

V

F

V

F
CONJUNCION.
La conjunción es únicamente verdadera cuando los valores de las
proposiciones que la compone son ambas verdaderas, resultando falso en
cualquier otro caso.
P

q

V

V

V

V

F

F

F

V

F

F

F

F

q

P
DISYUNCIÓN
La disyunción inclusiva es verdadera, si al menos una de las proposiciones
componentes es verdadera, resultando falso únicamente cuando las dos
proposiciones son falsas.

p

Q

P

q

V

V

V

V

F

V

F

V

V

F

F

F
CONDICIONAL.
La condicional es una proposición falsa, si el antecedente es verdadero y el
consecuente es falso en los demás casos es verdadero.

p

q

p

q

V

V

V

V

F

F

F

V

V

F

F

V
TIPOS DE FORMAS
PROPORCIONALES:
TAUTOLÓGICA, CONTRADICCIÓN
Y CONTINGENCIA.
Una expresión proposicional se llama tautología, si los valores de verdad
de su operador principal son verdaderos.
 Se llama contradicción , si los valores de verdad de su operador principal
son todos falsos.

 Se llama contingencia, cuando los valores de verdad hay valores
verdaderos y falsos

Más contenido relacionado

La actualidad más candente

La actualidad más candente (18)

CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Lógica proposicional - Resumen
Lógica proposicional - ResumenLógica proposicional - Resumen
Lógica proposicional - Resumen
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
 
Proposiciones lógicas luis serrano
Proposiciones lógicas luis serranoProposiciones lógicas luis serrano
Proposiciones lógicas luis serrano
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTica
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 
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 proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Limites
LimitesLimites
Limites
 
Inferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasInferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias Tautologicas
 
Elementos de lógica
Elementos de lógicaElementos de lógica
Elementos de lógica
 
MatemáTicas Diapositivas
MatemáTicas DiapositivasMatemáTicas Diapositivas
MatemáTicas Diapositivas
 
Notación sigma
Notación sigmaNotación sigma
Notación sigma
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTica
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 

Similar a Lógica proporcional tablas verdad (20)

Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
Segundactividalber
SegundactividalberSegundactividalber
Segundactividalber
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
logicamate.pptx
logicamate.pptxlogicamate.pptx
logicamate.pptx
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Conectivos
ConectivosConectivos
Conectivos
 
Conectivos
ConectivosConectivos
Conectivos
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 

Lógica proporcional tablas verdad

  • 2. Es una función proposicional, el cual se convierte en proposición cuando: i. Para x = -3 (por ejemplo), se convierte en la proposición (-3)2 + 1 = 5……………………… (F) el cual tiene valor de verdad Falsa ii. Para x = 2, entonces, será la proposición (2)2 + 1 = 5 ……………………… (V) el cual tiene valor de verdad Verdadera Notación Usaremos las letras minúsculas p, q, r,… para simbolizar las proposiciones. Las proposiciones se pueden combinar para obtener proposiciones compuestas utilizando conectivos lógicos que veremos a continuación:
  • 3.
  • 4. TABLAS DE VERDAD La definición de proposición nos dice que debe ser una oración a la cual se le puede asignar un valor de verdad de manera precisa, sin ambigüedades. Ahora bien, ¿cómo le asignamos un valor de verdad a las proposiciones compuestas?, es decir, a las proposiciones que contienen alguno de los conectivos lógicos. Esto lo haremos a través de tablas de verdad.
  • 5. TABLA DE NEGACION. Observamos que si p es verdadera, entonces (p es falso; si p es falso, entonces (p es verdadero. Es decir, el valor de la negación de un enunciado es siempre opuesto al valor de verdad del enunciado inicial. La negación de una negación es siempre la proposición original p -p -(p) V F V F V F
  • 6. CONJUNCION. La conjunción es únicamente verdadera cuando los valores de las proposiciones que la compone son ambas verdaderas, resultando falso en cualquier otro caso. P q V V V V F F F V F F F F q P
  • 7. DISYUNCIÓN La disyunción inclusiva es verdadera, si al menos una de las proposiciones componentes es verdadera, resultando falso únicamente cuando las dos proposiciones son falsas. p Q P q V V V V F V F V V F F F
  • 8. CONDICIONAL. La condicional es una proposición falsa, si el antecedente es verdadero y el consecuente es falso en los demás casos es verdadero. p q p q V V V V F F F V V F F V
  • 9. TIPOS DE FORMAS PROPORCIONALES: TAUTOLÓGICA, CONTRADICCIÓN Y CONTINGENCIA. Una expresión proposicional se llama tautología, si los valores de verdad de su operador principal son verdaderos.  Se llama contradicción , si los valores de verdad de su operador principal son todos falsos.  Se llama contingencia, cuando los valores de verdad hay valores verdaderos y falsos