Asdasd

Páginas: 2 (468 palabras) Publicado: 9 de diciembre de 2012
Tarea de Lógica

Definiciones:

* Conjunción: La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valorde verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas
* Disyunción : La disyunción es un operador queopera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, yfalso cuando ambas son falsas.
* Implicación o Condicional: El condicional material es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones,devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
* Equivalencia o Bicondicional: El bicondicional o dobleimplicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienenel mismo valor de verdad, y falso cuando sus valores de verdad diferente.

CÓMO HACER UNA TABLA DE VERDAD:

Para construir la tabla de verdad de una fórmula cualquiera hay que tener en cuenta:
a.-el número de filas de la tabla (2n)
b.- encabezar cada columna con las variables
c.- dar valores de verdad o falsedad (V-F o 1-0) sistemáticamente: La primera columna tendrá la mitad de valores 1 yla otra mitad de valores 0; la segunda columna 1/4; la tercera 1/8, y así sucesivamente. (Ver las tablas de las páginas 74 y 75 del libro de texto)
d.- desglosar la fórmula en sus componentes yoperar en orden hasta llegar a la columna final.

Ejemplo:
Construir la tabla de verdad de la fórmula (p(q) ( (q(p)

|p q |(p(q) |( |(q(p) |
|V V |V...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Asdasd
  • Asdasd
  • asdasd
  • asdasda
  • ASdasd
  • asdasd
  • asdasdad
  • Asdasd

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS