Lógica Computacional

ATPS Lógica Matemática

Prof. Carmine Lombardi

Caio Denzin Rosa RA:1566237988

Etapa 1

“Sabendo-se que dos 110 funcionários de nossa empresa, 80 são casados, 70 possuem casa própria e 30 são solteiros e possuem casa própria.”

70 – 30 = 40

40 são casados com casa própria e 30 são solteiros com casa própria

80 – 40 = 40

Afirmação 1 é falsa pois temos 80 casados e 40 possuem casa própria, logo exatamente metade.

Afirmação 2 também é falsa pois existem 40 empregados casados que possuem casa própria e 30 empregrados solteiros que possuem casa própria.

A primeira sílaba descoberta foi ER

Etapa 2

“Se Rodolfo é mais alto que Guilherme, então Heloísa e Flávia têm a mesma altura. Se Heloísa e Flávia têm a mesma altura, então Alexandre é mais baixo que Guilherme. Se Alexandre é mais baixo que Guilherme, então Rodolfo é mais alto que Heloísa. Ora, Rodolfo não é mais alto que Heloísa”

Rodolfo é mais alto que Guilherme

R > G → H = F

Heloísa e Flávia possuem alturas iguais

R>G implica em H = F

Se elas possuem a mesma altura, logo:

H = F → A

Alexandre é mais baixo que Guilherme

A→ R>H

Rodolfo é mais alto que Heloísa

AH

Rodolfo não é mais alto que Heloísa entao: R<-H

Logo a alternativa correta é a letra A

“Rodolfo não é mais alto que Guilherme, e Heloísa e Flávia não tem a mesma altura.”

As letras atribuidas foram OC

Etapa 3

“Reescrever o pseudocódigo a seguir com uma expressão condicional mais simples, cuja função ímpar (n) tem o valor lógico verdadeiro se n for ímpar.”

 se não ((valor1

 ou(não(valor1

      proposição1

caso contrário

      proposição2

fimse

Considerando a variável valor1 receber a e valor2 receber b

Podemos traduzir da seguinte forma:

-((a

v((-(a→

preposição1

-→

preposição2

Aplicando a fórmula:

-((a

-((a

1 – FTTT preposição2 FTTT

2 – FTTF preposição1 TTFF e FFTF preposição1 TFFT

3 – TFFF preposição1 TFFF

Como foram utilizadas 3 equivalências tautológicas, atribuimos BA.

Etapa 4

“José quer ir ao teatro assistir à peça ‘A Vida é uma Comédia’, mas não tem certeza se a mesma está sendo exibida. Seus amigos, Maria, Luís e Júlio têm opiniões discordantes sobre se a peça está ou não em cartaz. Se Maria estiver certa, então Júlio está enganado. Se Júlio estiver enganado, então Luís está enganado. Se Luís estiver enganado, então a peça não está sendo exibida. Ora, ou a peça ‘A Vida é uma Comédia’ está sendo exibida, ou José não irá ao teatro. Verificou-se que Maria está certa.”