SlideShare una empresa de Scribd logo
1 de 7
Proposición:
Secuencia finita de signos que en un contexto
determinado, puede ser calificado de verdadero
o falso
En el lenguaje natural, toda oración aseverativa
es una proposición.
Las proposiciones son nombradas con las letras
del alfabeto.
 VALOR DE VERDAD:
Las proposiciones conjuntivas
son verdaderas si ambas
a y b son verdaderas.
En cualquier otro caso son
falsas.
 Tabla de Verdad
aa bb aa ۸۸
bb
VV VV VV
VV FF FF
FF VV FF
FF FF FF
Negar una proposición
es cambiarle su valor
de verdad.
 p(V) entonces ⌐p(F)
 Tabla: pp ⌐⌐pp
VV FF
FF VV

El condicional: →
 L.N: Si …… entonces……
 L.L; p → q
p: antecedente ( Hipótesis)
q: consecuente ( Tesis)
Ej. Si una figura es un cuadrado
entonces es un paralelogramo.
 Tabla de verdad:
 El valor de verdad de
una proposición
condicional, es
independiente de la
relación causal o NO
entre el antecedente
y el consecuente
pp qq pp →→
qq
VV VV VV
VV FF FF
FF VV VV
FF FF VV
 Tabla de verdad:
 El valor de verdad de
una proposición
condicional, es
independiente de la
relación causal o NO
entre el antecedente
y el consecuente
pp qq pp →→
qq
VV VV VV
VV FF FF
FF VV VV
FF FF VV

Más contenido relacionado

La actualidad más candente

Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesMancast1
 
Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .Ivan Vladimir Meza-Ruiz
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicionalgpbs_brito
 
Deber mate may_andrango
Deber mate may_andrangoDeber mate may_andrango
Deber mate may_andrangom an
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uftAponteOrlandoUFT
 
Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando AponteAponteOrlandoUFT
 
Marlene poma presentacion2
Marlene poma presentacion2Marlene poma presentacion2
Marlene poma presentacion2Marlene Poma
 
Inecuaciones
InecuacionesInecuaciones
Inecuacioneselena
 
Leyes de logica proporcional
Leyes de logica proporcionalLeyes de logica proporcional
Leyes de logica proporcionalTania Contento
 

La actualidad más candente (18)

Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Alfabeto griego
Alfabeto griegoAlfabeto griego
Alfabeto griego
 
Algebra001
Algebra001Algebra001
Algebra001
 
Estructura discreta 2
Estructura discreta 2Estructura discreta 2
Estructura discreta 2
 
Cuaderno digital algebra
Cuaderno digital algebraCuaderno digital algebra
Cuaderno digital algebra
 
Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicional
 
Deber mate may_andrango
Deber mate may_andrangoDeber mate may_andrango
Deber mate may_andrango
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Estructura
EstructuraEstructura
Estructura
 
Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando Aponte
 
Logica
LogicaLogica
Logica
 
Marlene poma presentacion2
Marlene poma presentacion2Marlene poma presentacion2
Marlene poma presentacion2
 
Inecuaciones
InecuacionesInecuaciones
Inecuaciones
 
Inecuaciones
InecuacionesInecuaciones
Inecuaciones
 
Inecuaciones
InecuacionesInecuaciones
Inecuaciones
 
Leyes de logica proporcional
Leyes de logica proporcionalLeyes de logica proporcional
Leyes de logica proporcional
 

Similar a Lógica proposicional: Tablas de verdad y operadores lógicos

Similar a Lógica proposicional: Tablas de verdad y operadores lógicos (20)

Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra Proposicional
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Leyes del algebra
Leyes del algebraLeyes del algebra
Leyes del algebra
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Como resolver tablas de verdad 2015.ppsx
Como resolver tablas de verdad 2015.ppsxComo resolver tablas de verdad 2015.ppsx
Como resolver tablas de verdad 2015.ppsx
 
Estructura discreta 1
Estructura discreta 1Estructura discreta 1
Estructura discreta 1
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
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
 
Kentmora.asignacion1
Kentmora.asignacion1Kentmora.asignacion1
Kentmora.asignacion1
 

Lógica proposicional: Tablas de verdad y operadores lógicos

  • 1.
  • 2. Proposición: Secuencia finita de signos que en un contexto determinado, puede ser calificado de verdadero o falso En el lenguaje natural, toda oración aseverativa es una proposición. Las proposiciones son nombradas con las letras del alfabeto.
  • 3.  VALOR DE VERDAD: Las proposiciones conjuntivas son verdaderas si ambas a y b son verdaderas. En cualquier otro caso son falsas.  Tabla de Verdad aa bb aa ۸۸ bb VV VV VV VV FF FF FF VV FF FF FF FF
  • 4. Negar una proposición es cambiarle su valor de verdad.  p(V) entonces ⌐p(F)  Tabla: pp ⌐⌐pp VV FF FF VV
  • 5.  El condicional: →  L.N: Si …… entonces……  L.L; p → q p: antecedente ( Hipótesis) q: consecuente ( Tesis) Ej. Si una figura es un cuadrado entonces es un paralelogramo.
  • 6.  Tabla de verdad:  El valor de verdad de una proposición condicional, es independiente de la relación causal o NO entre el antecedente y el consecuente pp qq pp →→ qq VV VV VV VV FF FF FF VV VV FF FF VV
  • 7.  Tabla de verdad:  El valor de verdad de una proposición condicional, es independiente de la relación causal o NO entre el antecedente y el consecuente pp qq pp →→ qq VV VV VV VV FF FF FF VV VV FF FF VV