ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

Matematicas discretas.


Enviado por   •  11 de Diciembre de 2016  •  Tarea  •  366 Palabras (2 Páginas)  •  426 Visitas

Página 1 de 2

[pic 1]EDUCACIÓN A DISTANCIA

SEMESTRE 1

AGOSTO-DICIEMBRE 2016

MATEMATICAS DISCRETAS

Ejercicios Proposiciones

UNIDAD 3  ACTIVIDAD 1

Nombre del alumno: Alejandro Moreno Ursueguia

No. de Control: D16151590

Nombre del Maestro: Rene Tristán Ávila

Aguascalientes, Ags., Noviembre de 2016

Formaliza las siguientes proposiciones

Proposición

Proposición formal

  1. q si p

Ej.    p→q

  1. p pero q

p^q

  1. como mínimo p

pvq

  1. p no obstante q

p^q

  1. q necesario para p

p→q

  1. q suficiente para p

p→q

  1. p a pesar de q

p^q

  1. No p a menos que q

pvq

  1. p sólo si q

p [pic 2][pic 3]q

  1. p sin embargo q

p^q

  1. p suficiente para q

p→q

  1. p siempre que q

p→q

  1. p a no ser que q

p→q

Resuelve los siguientes ejercicios de proposiciones simbólicas

Ejemplo. Escribir como proposición en forma simbólica:  “x es un entero negativo o es un entero mayor que tres, y es un cuadrado perfecto”.

Solución:

  • n :  x es un entero negativo
  • t :   x es un entero mayor que tres
  • s :   x es un cuadrado perfecto.

La proposición se escribe:

[pic 4]

Escribir la forma simbólica de los enunciados siguientes (relativos a un programa de estudios de procesamiento de datos) utilizando las letras indicadas.

  • C :  Juan cursa COBOL
  • B :  Juan cursa BASIC
  • P :  Juan cursa Pascal
  • F :  Juan cursa FORTRAN

  1. Juan debe cursar COBOL o FORTAN

CvF

  1. Juan puede cursar BASIC y PASCAL

B^P

  1. Juan puede cursar COBOL y FORTRAN

C^F

  1. Juan debe cursar COBOL, y BASIC o Pascal

C^(BvP)

  1. Juan debe cursar COBOL y BASIC, o Pascal

(C^B)vP

  1. Juan puede no cursar BASIC o Pascal

BvP

Elaborar las siguientes tablas de verdad

  1. [pic 5][pic 6]

p

q

[pic 7]

[pic 8]

V

V

V

F

V

F

F

V

F

V

F

V

F

F

F

V

  1. [pic 9][pic 10]

p

q

[pic 11]

[pic 12]

[pic 13]

V

V

F

F

F

V

F

F

V

V

F

V

V

F

V

F

F

V

V

V

  1. [pic 14][pic 15]

p

q

[pic 16]

[pic 17]

[pic 18]

p  ∧ (q ∨  ∼r)

V

V

V

F

V

V

V

V

F

V

V

V

V

F

V

F

F

F

V

F

F

V

V

V

F

V

V

F

V

F

F

V

F

V

V

F

F

F

V

F

F

F

F

F

F

V

V

F

  1. [pic 19][pic 20]

p

q

[pic 21]

[pic 22]

[pic 23]

[pic 24]

V

V

V

F

V

V

V

V

F

F

V

V

V

F

V

V

V

V

V

F

F

V

V

V

F

V

V

F

F

V

F

V

F

F

F

F

F

F

V

V

V

V

F

F

F

V

V

V

...

Descargar como (para miembros actualizados) txt (3 Kb) pdf (293 Kb) docx (855 Kb)
Leer 1 página más »
Leer documento completo Guardar
Disponible sólo en Clubensayos.com