Capítulo 9no del libro de Oxford de Estudios Matemáticos NM del programa del diploma del bachillerato internacional
|
Creado por Viviana Calva
hace alrededor de 5 años
|
|
Cerrar
|
|
Creado por Viviana Calva
hace alrededor de 5 años
|
|
Una proposición es
Una proposicin (simple)
Una proposición compuesta está formada por
Los cinco conectores que usaremos más comunmente son:
Los cinco conectores tienen estos nombres y esta notación simbólica:
En la lógica matemática, necesitamos tener claro si en una proposición estamos usando el "o" inclusivo (∨ ) o el "o" exclusivo (v_).
Para representar proposiciones simples
Tablas de verdad:
NEGACIÓN
CONJUNCIÓN ∧
(y)
DISYUNCIÓN (o)
Disyunción inclusiva
(v)
Disyución exclusiva (v_)
La equivalencia se muestra con
el sÍmbolo
Un argumento es
Implicación
Si la proposición compuesta que representa un argumento es una tautologa,
Una contradicción
Una tautología
Un argumento VÁLIDO
Un argumento INVÁLIDO
Un condicional relacionado
La tabla de verdad de la equivalencia (o bicondicional)
Hay otras tres proposiciones condicionales que se forman a partir de la proposición directa p->q, y se usan comunmente:
