Logica matematica

Páginas: 2 (374 palabras) Publicado: 14 de noviembre de 2011
Taller de “método de reducción al absurdo”

Profesor:
Luis Cuao

Materia:
Competencias lógico matematica

Grupo: 1

14.12
a= hay heladas en el Brasil
b= el precio del café subirá
c=aumentara el precio interno
d= disminuirá el consumo en Colombia
e= mejorara la situación de los cafeteros

(1) –a v b
(2) –c v d
(3) -------------------------------------------------
b(e ^c)
a d
(4) – (a d) regla AA
(5) ( a ^-d) ley de negación de la implicación 4

(6) A
(simplificación )(5)
(7) –d

(8) b (mtp) (1,6)

(9) e ^ c (mpp) (3,8)(10) e
(simplificación)( 9)
(11) C
(12) d (mtp) (2,11)
(13) -d ^ d (adjunción absurdo) (7,12)

14.11

a= e es un numero entero
b= e es un numeroracional
c= e es un numero trascendente
d= e es un numero algebraico

(1) A b
(2) – c v - d
(3) -------------------------------------------------
d v -b
c -a
(4) -( c -a )(5) (c ^ a) ley de negación de la implicación 4

(6) C
Simplificación 5
(7) A
(8) – d (mtp) (2,6)
(9) –b (mtp) (3,8)
(10) -a (mtt) (1,9)
(11) (a ^ -a)(adjunción absurdo) (7, 10)

14.14

a= hay rozamiento
b= hay producción de calor
c= la fuerza F actua sobre el cuerpo A
d= el cuerpo A se deslizara sobre el suelo
e= hay transferencia deenergía

(1) –a v b
(2) C d
(3) –d v a
(4) -------------------------------------------------
B e
C e

(5) – ( c e)
(6) ( c ^ -e) ley de negación de la implicación 5(7) C
(Simplificación) (6)
(8) –e
(9) d (mpp) (2,7)
(10) a (mtp) (3,9)
(11) b (mtp) (1,10)
(12) e (mpp) (4.11)
(13) -e ^ e (adjunción absurdo ) (8,12)14.16

a= el ladron entro por la puerta principal
b= el ladron se encontraba dentro del edificio antes del cambio de guardia
c= el ladron es un vigilante
d= el vigilante Gonzales dice la...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • que tan lógica es la lógica matematica
  • Logica Matematica
  • Logica Matematica
  • Logica Matemática
  • logica matematica
  • logica matematica
  • Logica matematica
  • logica matematica

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS