exercícios de lógica

[belagonalvez 0]

Tenho uma lista de alguns exercícios de lógica de programação, consegui resolver a maioria, mas alguns eu travei... [/size]

 

1) Traduzir para a linguagem simbólica a seguinte proposição: [/size]

- Se X + Y > Z e Z = 1, então X + Y > 1 [/size]

 

2) Quais as formas corretas da negação da proposição "Todo sucesso é merecido"? [/size]

I) Nenhum sucesso é merecido [/size]

II) Algum sucesso é merecido [/size]

III) Existe pelo menos 1 sucessp que não é merecido [/size]

 

3) Da proposição p ^ q -> ~p podemos afirmar que: [/size]

I) É Tautológica [/size]

II) É contraditória [/size]

III) É Contingencia [/size]

IV) É Equivalente a ~(p ^ q) [/size]

[Alan Walking 5]

1)

if ( ( X + Y > Z) && ( Z == 1 ) )
{
     print(" X + Y > 1 ");
}

2)

"Todo sucesso é merecido"

Negação da frase acima = "Nenhum sucesso é merecido"

 

3)

p = "O carro vermelho"

q = "é bonito"

p ^ q = "O carro vermelho" ^ "é bonito"

-> (equivalente)

p ^ q -> ~p (O carro não é vermelho)

Logo, é contraditória.