TAREFA 2 - CODIFICAO Problema de Lgica: Mdio Estria: Teatro Infantil Universo de Discurso:

Pea: Fantoches de meia , onde cada ator encarregado de criar um fantoche com um tipo de meia, com nmeros diferentes de botes costurados e cada um com a representao de um personagem. Conjunto do universo de discurso: ator, personagem, meia, botes Elementos identificados no universo de discurso: atores ( antonio, gabriela, lais, tato, vagner) personagens ( monstro, poeta, princesa, prefeito, sereia) meias ( algodao, esportiva, nilon, seda, social) botes ( 1, 2, 3, 4, 5) Predicados sobre os elementos do universo de discurso: p1: representar_personagem monstro. p2: representar_personagem m de monstro. p3: representar_personagem tro. p4: representar_personagem stro. p5: representar_personagem monstro. monstro (antonio) : Antnio representou o personagem de monstro (gabriela) : Gabriela representou o personage monstro (lais) : Las representou o personagem de mons monstro (tato) : Tato representou o personagem de mon monstro (vagner) : Vagner representou o personagem de

p6: representar_personagem poeta (antonio) : Antnio representou o personagem de p oeta. p7: representar_personagem poeta (gabriela) : Gabriela representou o personagem de poeta. p8: representar_personagem poeta (lais) : Las representou o personagem de poeta. p9: representar_personagem poeta (tato) : Tato representou o personagem de poeta . p10: representar_personagem poeta (vagner) : Vagner representou o personagem de poeta. p11: representar_personagem de princesa. p12: representar_personagem gem de princesa. p13: representar_personagem incesa. p14: representar_personagem rincesa. p15: representar_personagem de princesa p16: representar_personagem de prefeito. p17: representar_personagem gem de prefeito. p18: representar_personagem efeito. p19: representar_personagem princesa (antonio) : Antnio representou o personagem princesa (gabriela) : Gabriela representou o persona princesa (lais) : Las representou o personagem de pr princesa (tato) : Tato representou o personagem de p princesa (vagner) : Vagner representou o personagem prefeito (antonio) : Antnio representou o personagem prefeito (gabriela) : Gabriela representou o persona prefeito (lais) : Las representou o personagem de pr prefeito (tato) : Tato representou o personagem de p

refeito. p20: representar_personagem prefeito (vagner) : Vagner representou o personagem de prefeito. p21: representar_personagem sereia. p22: representar_personagem m de sereia. p23: representar_personagem ia. p24: representar_personagem eia. p25: representar_personagem sereia. p26: p27: p28: p29: p30: p31: p32: p33: p34: p35: p36: p37: p38: p39: p40: p41: p42: p43: p44: p45: p46: p47: p48: p49: p50: p51: p52: p53: p54: p55: p56: p57: p58: p59: p60: criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao algodao sereia (antonio) : Antnio representou o personagem de sereia (gabriela) : Gabriela representou o personage sereia (lais) : Las representou o personagem de sere sereia (tato) : Tato representou o personagem de ser sereia (vagner) : Vagner representou o personagem de

(antonio) : Antnio criou meia de algodo. (gabriela) : Gabriela criou meia de algodo. (lais) : Las criou meia de algodo. (tato) : Tato criou meia de algodo. (vagner) : Vagner criou meia de algodo. (antonio) : Antnio criou meia esportiva. (gabriela) : Gabriela criou meia esportiva. (lais) : Las criou meia esportiva. (tato) : Tato criou meia esportiva. (vagner) : Vagner criou meia esportiva. (antonio) : Antnio criou meia de nilon. (gabriela) : Gabriela criou meia de nilon. (lais) : Las criou meia de nilon. (tato) : Tato criou meia de nilon. (vagner) : Vagner criou meia de nilon. (antonio) : Antnio criou meia de seda. (gabriela) : Gabriela criou meia de seda. (lais) : Las criou meia de seda. (tato) : Tato criou meia de seda. (vagner) : Vagner criou meia de seda.

criar_meia algodao (antonio) : Antnio criou a meia social. criar_meia algodao (gabriela) : Gabriela criou a meia social. criar_meia algodao (lais) : Las criou a meia social. crar_meia algodao (tato) : Tato criou a meia social. criar_meia algodao (vagner) : Vagner criou a meia social. utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes 1 1 1 1 1 2 2 2 2 2 (antonio) : Antnio utilizou um boto. (gabriela) : Gabriela utilizou um boto. (lais) : Las utilizou um boto. (tato) : Tato utilizou um boto. (vagner) : Vagner utilizou um boto. (antonio) : Antnio utilizou dois botes. (gabriela) : Gabriela utilizou dois botes. (lais) : Las utilizou dois botes. (tato) : Tato utilizou dois botes. (vagner) : Vagner utilizou dois botes.

p61: utilizar_botoes 3 (antonio) : Antnio utilizou trs botes. p62: utilizar_botoes 3 (gabriela) : Gabriela utilizou trs botes. p63: utilizar_botoes 3 (lais) : Las utilizou trs botes.

p64: utilizar_botoes 3 (tato) : Tato utilizou trs botes. p65: utilizar_botoes 3 (vagner) : Vagner utilizou trs botes. p66: p67: p68: p69: p70: p71: p72: p73: p74: p75: utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes 4 4 4 4 4 5 5 5 5 5 (antonio) : Antnio utilizou quatro botes. (gabriele) : Gabriele utilizou quatro botes. (lais) : Las utilizou quatro botes. (tato) : Tato utilizou quatro botes. (vagner) : Vagner utilizou quatro botes. (antonio) : Antnio utilizou cinco botes. (gabriele) : Gabriele utilizou cinco botes. (lais) : Las utilizou cinco botes. (tato) : Tato utilizou cinco botes. (vagner) : Vagner utilizou cinco botes.

Declarao dos predicados nos elementos do universo de discurso: CODIFICAO DO CENRIO : Cada ator representou um personagem diferente. representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem monstro (antonio) ou monstro (gabriela) ou monstro (lais) ou monstro (tato) ou monstro (vagner) ou poeta (antonio) ou poeta (gabriela) ou poeta (lais) ou poeta (tato) ou poeta (vagner) ou princesa (antonio) ou princesa (gabriela) ou princesa (lais) ou princesa (tato) ou princesa (vagner) ou prefeito (antonio) ou prefeito (gabriela) ou prefeito (lais) ou prefeito (tato) ou prefeito (vagner) ou sereia (antonio) ou sereia (gabriela) ou sereia (lais) ou sereia (tato) ou sereia (vagner).

Cada ator utilizou um tipo de meia para a criao dos fantoches. criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia algodao (antonio) ou algodao (gabriela) ou algodao (lais) ou algodao (tato) ou algodao (vagner) ou esportiva (antonio) ou esportiva (gabriela) ou esportiva (lais) ou esportiva (tato) ou esportiva (vagner) ou nilon (antonio) ou

criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia criar_meia

nilon (gabriela) ou nilon (lais) ou nilon (tato) ou nilon (vagner) ou seda (antonio) ou seda (gabriela) ou seda (lais) ou seda (tato) ou seda (vagner) ou social (antonio) ou social (gabriela) ou social (lais) ou social (tato) ou social (vagner).

Cada ator utilizou uma quantidade de botes. utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 5 5 5 5 5 (antonio) ou (gabriela) ou (lais) ou (tato) ou (vagner) ou (antonio) ou (gabriela) ou (lais) ou (tato) ou (Vagner) ou (antonio) ou (gabriela) ou (lais) ou (tato) ou (vagner) ou (antonio) ou (gabriela) ou (lais) ou (tato) ou (vagner) ou (antonio) ou (gabriele) ou (lais) ou (tato) ou (vagner).

CODIFICAO DAS DICAS 1.Tato no foi quem criou o fantoche de prefeito. no representar_personagem (tato,prefeito) 2.O fantoche da Las tem um boto a menos que o fantoche de monstro. nao representar_personagem (lais, monstro) nao representar_personagem (vagner, monstro) nao utilizar_botes (lais, 5) nao criado (monstro,1) nao utilizar_botoes (lais, 1) nao utilizar_botoes (lais, 2) criado (monstro, 4) utilizar_botoes (gabriela, 4) criar_meia (gabriela, social)

representar_personagem (gabriela, monstro)

3.O fantoche de Vagner tem um boto a menos que o de princesa e um a mais que o fa ntoche feito de uma meia de seda. criar_meia (lais, algodao) nao utilizar_botoes (vagner, 3) nao utilizar_botoes (vagner, 1) nao utilizar_botoes (vagner, 5) nao utilizar_botoes (princesa, 1) nao utilizar_botoes (princesa, 2) nao utilizar_botoes (5, seda) nao utilizar_botoes (4, seda) utilizar_botoes (vagner, 2) representar_personagem (lais,princesa) representar_personagem (tato,poeta) representar_personagem (antonio, prefeito) 4.Os cinco fantoches, em ordem crescente (de menos para mais botes), so: o criado por Antnio, a sereia, o que foi feito com meia de algodo, o de Gabriela e o que fo i feito com meia de nilon. utilizar_botoes (lais, 3) utilizar_botoes (antonio,1) utilizar_botoes (gabriela, 4) utilizar_botoes (tato,5) nao representar_personagem (antonio, sereia) nao representar_personagem (gabriela, sereia) nao utilizar_botoes (antonio, 2) nao criar_meia (antonio, algodao) nao criar_meia(antonio, nailon) nao criar_meia (gabriela, algodao) nao criar_meia(gabriela, nailon) personagem (sereia, 2) nao utilizar_botoes (lais, 4) nao utilizar_botoes (tato, 3) nao utilizar_botoes (gabriela, 2) nao utilizar_botoes (gabriela, 5) nao utilizar_botoes (gabriela, 3) nao utilizar_botoes (antonio, 5) nao utilizar_botoes (antonio, 3) nao utilizar_botoes (lais, 2) criado (algodao, 3) criado (nailon, 5) nao criado (seda, 3) representar_personagem (vagner, sereia) nao representar_personagem (tato, monstro) nao criar_meia (tato, algodao) nao criar_meia (vagner, algodao) criar_meia (tato, nailon)

5. O fantoche utilizando uma meia social possui exatamente dois botes a mais que aquele feito com meia esportiva.

criar_meia (vagner, esportiva) criar_meia (antonio, seda) criar_meia (social,4) criar_meia (esportiva, 2) nao criar_meia (social, 1) nao criar_meia (social, 2) nao criar_meia (social, 5) nao criar_meia (social, 3) nao criar_meia (esportiva,4) nao criar_meia (esportiva, 5) nao criar_meia (esportiva, 3) nao criar_meia (esportiva, 1)

CODIFICAO DAS AFIRMAES A. Antnio representou o fantoche de prefeito. representar_personagem (prefeito, antonio) Condies que a confirma: Fatos (decorrentes do enunciado do problema): representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem Fatos (dicas): representar_personagem representar_personagem representar_personagem representar_personagem (lais,princesa)- decorre da dica 3 (tato,poeta)- decorre da dica 3 (vagner, sereia)-decorre da dica 4 (gabriela, monstro)-decorre da dica 2 (prefeito, (prefeito, (prefeito, (prefeito, (prefeito, antonio) ou gabriela) ou lais) ou tato) ou vagner)

Tese:representar_personagem (prefeito, antonio) B. Antnio utilizou meia de seda. criar_meia (antonio, seda) Condies que a confirma: Fatos (decorrentes do enunciado do problema): criar_meia criar_meia criar_meia criar_meia criar_meia (antonio, seda) ou (gabriela, seda) ou (lais, seda) ou (tato, seda) ou (vagner, seda)

Fatos (dicas): criar_meia criar_meia criar_meia criar_meia (gabriela, social)-decorre da dica 2 (lais, algodao)-decorre da dica 3 (vagner, esportiva)-decorre da dica 5 (tato, nailon)-decorre da dica 4

Tese:criar_meia (antonio, seda) C. Antnio utilizou 1 boto. utilizar_botes (antonio, 1) Condies que a confirma: Fatos (decorrentes do enunciado do problema): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes Fatos (dicas): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes (antonio, 1) ou (gabriela, 1) ou (lais, 1) ou (tato, 1) ou (vagner, 1) (lais, 3)-decorre da dica 4 (gabriela, 4)-decorre da dica 4 (tato,5)-decorre da dica 4 (vagner,2)-decorre da dica 3

Tese:utilizar_botes (antonio, 1)

D. Gabriela representou o personagem de monstro. representar_personagem (monstro, Gabriela) Condies que a confirma: Fatos (decorrentes do enunciado do problema): representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem Fatos (dicas): representar_personagem representar_personagem representar_personagem representar_personagem (lais,princesa)- decorre da dica 3 (tato,poeta)- decorre da dica 3 (antonio, prefeito)- decorre da dica 3 (vagner, sereia)-decorre da dica 4 (monstro, (monstro, (monstro, (monstro, (monstro, antonio) ou Gabriela) ou lais) ou tato) ou vagner

Tese:representar_personagem (monstro, Gabriela) E. Gabriela utilizou meia social. criar_meia (gabriela, social)

Condies que a confirma: Fatos (decorrentes do enunciado do problema): criar_meia criar_meia criar_meia criar_meia criar_meia (antonio, social) ou (gabriela, social) ou (lais, social) ou (tato, social) ou (vagner, social)

Fatos (dicas): criar_meia criar_meia criar_meia criar_meia (lais, algodao)-decorre da dica 3 (vagner, esportiva)-decorre da dica 5 (antonio, seda)-decorre da dica 5 (tato, nailon)-decorre da dica 4

Tese:criar_meia (gabriela, social) F. Gabriela utilizou 4 botes. utilizar_botoes (gabriela, 4) Condies que a confirma: Fatos (decorrentes do enunciado do problema): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes Fatos (dicas): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes (lais, 3)-decorre da dica 4 (antonio, 1)-decorre da dica 4 (tato,5)-decorre da dica 4 (vagner,2)-decorre da dica 3 (antonio, 4) ou (gabriela, 4) ou (lais, 4) ou (tato, 4) ou (vagner, 4)

Tese:utilizar_botes (gabriela, 4) G. Las representou o personagem de princesa. representar_personagem (princesa, lais) Condies que a confirma: Fatos (decorrentes do enunciado do problema): representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem (princesa, (princesa, (princesa, (princesa, (princesa, antonio) ou gabriela) ou lais) ou tato) ou vagner)

Fatos (dicas): representar_personagem representar_personagem representar_personagem representar_personagem (tato,poeta)- decorre da dica 3 (antonio, prefeito)- decorre da dica 3 (vagner, sereia)-decorre da dica 4 (gabriela, monstro)-decorre da dica 2

Tese:representar_personagem (princesa, lais) H.Las utilizou meia de algodo. criar_meia (lais, algodao) Condies que a confirma: Fatos (decorrentes do enunciado do problema): criar_meia criar_meia criar_meia criar_meia criar_meia (antonio, algodao) ou (gabriela, algodao) ou (lais, algodao) ou (tato, algodao) ou (vagner, algodao)

Fatos (dicas): criar_meia criar_meia criar_meia criar_meia (gabriela, social)-decorre da dica 2 (vagner, esportiva)-decorre da dica 5 (antonio, seda)-decorre da dica 5 (tato, nailon)-decorre da dica 4

Tese:criar_meia (lais, algodao) I.Las utilizou 3 botes. utilizar_botes (lais, 3) Condies que a confirma: Fatos (decorrentes do enunciado do problema): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes Fatos (dicas): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes (antonio, 3) ou (gabriela 3) ou (lais, 3) ou (tato, 3) ou (vagner, 3) (antonio, 1)-decorre da dica 4 (gabriela, 4)-decorre da dica 4 (tato,5)-decorre da dica 4 (vagner,2)-decorre da dica 3

Tese:utilizar_botoes (lais, 3)

J. Tato representou o personagem poeta. representar_personagem (poeta, tato) Condies que a confirma: Fatos (decorrentes do enunciado do problema): representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem Fatos (dicas): representar_personagem representar_personagem representar_personagem representar_personagem (lais,princesa)- decorre da dica 3 (antonio, prefeito)- decorre da dica 3 (vagner, sereia)-decorre da dica 4 (gabriela, monstro)-decorre da dica 2 (poeta, (poeta, (poeta, (poeta, (poeta, antonio) ou gabriela) ou lais) ou tato) ou vagner)

Tese:representar_personagem (poeta, tato) L. Tato utilizou meia de nilon. criar_meia (tato, nilon) Condies que a confirma: Fatos (decorrentes do enunciado do problema): criar_meia criar_meia criar_meia criar_meia criar_meia (antonio, nilon) ou (gabriela, nilon) ou (lais, nilon) ou (tato, nilon) ou (vagner, nilon)

Fatos (dicas): criar_meia criar_meia criar_meia criar_meia (gabriela, social)-decorre da dica 2 (lais, algodao)-decorre da dica 3 (vagner, esportiva)-decorre da dica 5 (antonio, seda)-decorre da dica 5

Tese:criar_meia (tato, nilon) M.Tato utilizou 5 botes. utilizar_botoes (tato, 5) Condies que a confirma: Fatos (decorrentes do enunciado do problema):

utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes Fatos (dicas): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes

(antonio, 5) ou (gabriele, 5) ou (lais, 5) ou (tato, 5) ou (vagner, 5)

(lais, 3)-decorre da dica 4 (gabriela, 4)-decorre da dica 4 (antonio, 1)-decorre da dica 4 (vagner,2)-decorre da dica 3

Tese:utilizar_botoes (tato, 5) N.Vagner representou o personagem de sereia. representar_personagem (sereia, vagner) Condies que a confirma: Fatos (decorrentes do enunciado do problema): representar_personagem representar_personagem representar_personagem representar_personagem representar_personagem Fatos (dicas): representar_personagem representar_personagem representar_personagem representar_personagem (lais,princesa)- decorre da dica 3 (tato,poeta)- decorre da dica 3 (antonio, prefeito)- decorre da dica 3 (gabriela, monstro)-decorre da dica 2 (sereia, (sereia, (sereia, (sereia, (sereia, antonio) ou gabriela) ou lais) ou tato) ou vagner)

Tese:representar_personagem (sereia, vagner) O. Vagner utilizou meia esportiva. criar_meia (vagner, esportiva) Condies que a confirma: Fatos (decorrentes do enunciado do problema): criar_meia criar_meia criar_meia criar_meia criar_meia (antonio, esportiva) ou (gabriela, esportiva) ou (lais, esportiva) ou (tato, esportiva) ou (vagner, esportiva)

Fatos (dicas):

criar_meia criar_meia criar_meia criar_meia

(gabriela, social)-decorre da dica 2 (lais, algodao)-decorre da dica 3 (antonio, seda)-decorre da dica 5 (tato, nailon)-decorre da dica 4

Tese:criar_meia (vagner, esportiva) P.Vagner utilizou 2 botes. utilizar_botoes (Vagner, 2) Condies que a confirma: Fatos (decorrentes do enunciado do problema): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes Fatos (dicas): utilizar_botoes utilizar_botoes utilizar_botoes utilizar_botoes (antonio, 2) ou (gabriela, 2) ou (lais, 2) ou (tato, 2) ou (Vagner, 2)

(lais, 3)-decorre da dica 4 (gabriela, 4)-decorre da dica 4 (tato,5)-decorre da dica 4 (antonio, 1)-decorre da dica 3

Tese:utilizar_botes (Vagner, 2)