Lógica proposicional Clássica

Estabelece o dicionário da proposição seguinte: Platão era filósofo mas Euclides não.

• P= Platão era filósofo; Q= Euclides era filósofo

• P= Platão era filósofo; Q= Euclides não era filósofo

• P= Euclides era filósofo; Q= Platão era filósofo

• Nenhuma das alíneas está correta.

Formalize a proposição seguinte: Platão era filósofo mas Euclides não.

• (~P∧~Q)

• (P∧~Q)

• (~P∧~Q)

• Nenhuma das alíneas é correta.

Traduza a seguinte fórmula para linguagem natural, tendo em conta o respetivo dicionário: ((P ∨ Q → ~R): P= A baleia é um cetáceo. Q»A baleia é um cefalópode. R»A baleia é um peixe-

• Se a baleia é um cetáceo ou é um cefalópode, então a baleia é um peixe.

• Se a baleia é um cetáceo e é um cefalópod, então a baleia não é um peixe.

• Se a baleia é um cetáceo ou é um cefalópode, então a baleia não é um peixe.

• Nenhuma das alíneas está correta.

Traduza a seguinte fórmula para linguagem natural, tendo em conta o respetivo dicionário: (~P ∧ Q):P»Sócrates escreveu livros. Q= Sócrates é citado.

• Sócrates escreveu livros, mas é citado.

• Sócrates não escreveu livros, mas é citado.

• Sócrates escreveu livros e é citado.

• Nenhuma das alíneas está correta

Traduza a seguinte fórmula para linguagem natural, tendo em conta o respetivo dicionário: (P ꓥ (Q ∨ R): P= A temperatura desce. Q=O vento muda de direção. R= A corrente marítima é fria.

• A temperatura desce ou o vento muda de direção e a corrente marítima é fria.

• A temperatura desce e o vento muda de direção ou a corrente marítima não é fria.

• A temperatura desce e o vento muda de direção ou a corrente marítima é fria.

• Nenhuma das alíneas está correta.

Traduza a seguinte fórmula para linguagem natural, tendo em conta o respetivo dicionário: (~P ∧ ~Q): P=O polvo é peixe. Q= O polvo é carne.

• O polvo não é peixe e o polvo não é carne.

• O polvo é peixe e o polvo é carne.

• O polvo não é peixe ou não é carne.

• Nenhuma das alíneas está correta.

O que se segue da afirmação «Se a prata está barata, então não se justifica vendê-la», aplicando a regra da contraposição?

• Se justifica a venda da prata, então a prata está barata.

• Se se justifica a venda da prata, então a prata não está barata.

• Se a prata não está barata, então não se justifica a sua venda,

• Nenhuma das alíneas está correta

O que se segue da afirmação «Se não é verdade que ler livros é inútil e aborrecido, então sou feliz», aplicando a regra Modus Ponens?

• Ora não é verdade que ler livros é inútil e aborrecido. Logo, sou feliz.

• Ora é verdade que ler livros é inútil e aborrecido. Logo, sou feliz.

• Ora não é verdade que ler livros é inútil e aborrecido. Logo, não sou feliz.

• Nenhuma das alíneas é correta.

O que se segue da afirmação «Se a prata está barata, então não se justifica vendê-la», aplicando a regra Modus Tollens?

• Ora não se justifica vendê-la. Logo, a prata não está barata.

• Ora justifica-se vendê-la. Logo, a prata está barata.

• Ora justifica-se vendê-la. Logo, a prata não está barata.

• Nenhuma das alíneas é correta.

O que se conclui, aplicando a regra do silogismo hipotético, das afirmações «Se conduzires embriagado, então vais ter azar» e «Se tiveres azar, então não vais acabar bem o dia»?

• Se conduzires embriagado, então não vais acabar bem o dia.

• Se conduzires embriagado, então vais acabar bem o dia.

• Se conduzires embriagado, então vais ter azar» e «Se tiveres azar.

• Nenhuma das alíneas está correta.