Questões sobre Algebra das Proposições

Na lógica sentencial, denomina-se proposição uma frase que pode ser julgada como verdadeira (V) ou falsa (F), mas não, como ambas. Assim, frases como "Como está o tempo hoje?" e "Esta frase é falsa" não são proposições porque a primeira é pergunta e a segunda não pode ser nem V nem F. As proposições são representadas simbolicamente por letras maiúsculas do alfabeto — A, B, C etc. Uma proposição da forma "A ou B" é F se A e B forem F, caso contrário é V; e uma proposição da forma "Se A então B" é F se A for V e B for F, caso contrário é V. Um raciocínio lógico considerado correto é formado por uma seqüência de proposições tais que a última proposição é verdadeira sempre que as proposições anteriores na seqüência forem verdadeiras.

Considerando as informações contidas no texto acima, julgue os itens subseqüentes.

É correto o raciocínio lógico dado pela seqüência de proposições seguintes:

Se Célia tiver um bom currículo, então ela conseguirá um emprego.

Ela conseguiu um emprego.

Portanto, Célia tem um bom currículo.

A partir das informações dos textos I e II, julgue os itens subseqüentes.

A partir das informações dos textos I e II, julgue os itens subseqüentes.

Ana é artista ou Carlos é compositor. Se Mauro gosta de música, então Flávia não é fotógrafa. Se Flávia não é fotógrafa, então Carlos não é compositor. Ana não é artista e Daniela não fuma. Pode-se, então, concluir corretamente que