Sunteți pe pagina 1din 1

Instituto Universitario Aeronutico

Facultad de Ciencia de la Administracin


INGENIERA
Grupos Z41 2015

Introduccin a la Informtica
Unidad 2 / Actividad N 5

Prof.: Lic. Graciela Disandro


Apellido, Nombres: Tauss, Mariana
D.N.I.: 25.061.354

Fecha: 10/04/2015
Nota: _________

Luego de la lectura del tema 5 Unidad N 2, le solicitamos que realice lo


siguiente:
a) Exprese todo el mundo tiene suerte de vez en cuando en clculo de
predicados.

b) Exprese todos los perros tienen cola en clculo de predicados.


Si x es un perro, entonces x tiene cola

c) Traduzca la frase hay alguien que conoce a todo el mundo al lenguaje de


clculo de predicados. Para hacerlo, utilice P(x,y) para expresar el hecho de que
x conoce a y.

x | x conoce a todo el mundo

a todo el mundo y: P(x, y)


x | y : P(x, y)

X conoce

S-ar putea să vă placă și

  • Modelos y Simulaciones
    Modelos y Simulaciones
    Document151 pagini
    Modelos y Simulaciones
    chilena.por.obligacion
    Încă nu există evaluări
  • DDS Guia de Practicos
    DDS Guia de Practicos
    Document10 pagini
    DDS Guia de Practicos
    chilena.por.obligacion
    Încă nu există evaluări
  • El Mal de La Vaca Loca en Inglaterra-1
    El Mal de La Vaca Loca en Inglaterra-1
    Document2 pagini
    El Mal de La Vaca Loca en Inglaterra-1
    chilena.por.obligacion
    Încă nu există evaluări
  • Señales y Sistemas - ACT2 - V2 PDF
    Señales y Sistemas - ACT2 - V2 PDF
    Document7 pagini
    Señales y Sistemas - ACT2 - V2 PDF
    chilena.por.obligacion
    Încă nu există evaluări
  • IDO GuiaDeEstudio PDF
    IDO GuiaDeEstudio PDF
    Document150 pagini
    IDO GuiaDeEstudio PDF
    chilena.por.obligacion
    Încă nu există evaluări
  • Matematica
    Matematica
    Document3 pagini
    Matematica
    chilena.por.obligacion
    Încă nu există evaluări
  • Actividades
    Actividades
    Document1 pagină
    Actividades
    chilena.por.obligacion
    Încă nu există evaluări
  • Actividad
    Actividad
    Document8 pagini
    Actividad
    chilena.por.obligacion
    Încă nu există evaluări
  • Unidad Nº3
    Unidad Nº3
    Document5 pagini
    Unidad Nº3
    chilena.por.obligacion
    Încă nu există evaluări
  • Intro Informatica
    Intro Informatica
    Document4 pagini
    Intro Informatica
    chilena.por.obligacion
    Încă nu există evaluări
  • Matematica I
    Matematica I
    Document4 pagini
    Matematica I
    chilena.por.obligacion
    Încă nu există evaluări
  • Teo - Sist AO1
    Teo - Sist AO1
    Document5 pagini
    Teo - Sist AO1
    chilena.por.obligacion
    Încă nu există evaluări
  • Guayaquil
    Guayaquil
    Document11 pagini
    Guayaquil
    chilena.por.obligacion
    Încă nu există evaluări
  • Teo - Sist AO1
    Teo - Sist AO1
    Document5 pagini
    Teo - Sist AO1
    chilena.por.obligacion
    Încă nu există evaluări
  • Mate.I U3 A.4 Parte.C
    Mate.I U3 A.4 Parte.C
    Document4 pagini
    Mate.I U3 A.4 Parte.C
    chilena.por.obligacion
    Încă nu există evaluări
  • Intro - Info U3 A.6
    Intro - Info U3 A.6
    Document1 pagină
    Intro - Info U3 A.6
    chilena.por.obligacion
    Încă nu există evaluări