matematicas

Páginas: 3 (616 palabras) Publicado: 9 de junio de 2013
TABLAS DE VERDAD
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos, , , , ,

,como: no, o, y, si…entonces, sí y sólo si, respectivamente. La interpretacióncorresponde al
sentido que estas operaciones tienen dentro del razonamiento.
Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico
matemática. Enconsecuencia, las tablas de verdad constituyen un método de decisión para
chequear si una proposición es o no un teorema.
Para la construcción de la tabla se asignará el valor 1(uno) a una proposicióncierta y 0 (cero) a una
proposición falsa.

Negación: El valor de verdad de la negación es el contrario de la proposición negada.
P

 P

0

1

1

1

Disyunción (o): La disyunciónsolamente es falsa, si lo son sus dos componentes.
P

Q

P Q

0

0

0

0

1

1

1

0

1

1

1

1

Conjunción (y): Solamente si las componentes de la conjunción son ciertas,la conjunción es cierta.
P

Q

P

0

0

0

0

1

0

1

0

0

1

1

Q

1

Condicional (entonces): El condicional solamente es falso cuando el antecedente es verdaderoy el
consecuente es falso. De la verdad no se puede seguir la falsedad.
P

Q

PQ

0

0

1

0

1

1

1

0

0

1

1

1

Bicondicional (sí y sólo sí): El bicondicionalsolamente es cierto si sus componentes tienen el
mismo valor de verdad.
P

Q

PQ

0

0

1

0

1

0

1

0

0

1

1

1

Disyunción exclusiva (xor): La disyunciónexclusiva de 2 valores es verdadera si son diferentes, y
falsa si los 2 valores son iguales.
P

Q

P xor Q

0

0

0

0

1

1

1

0

1

1

1

0

Se denomina tautología unaproposición que es cierta para cualquier valor de verdad de sus
componentes. Por tanto, la última columna de su tabla de verdad estará formada únicamente por
unos.

Contradicción es la negación de...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Matematica
  • Matematica
  • Matematicas
  • Las matemáticas
  • Matematica
  • Matematicas
  • Matematica
  • Matematicas

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS