Filtrar


Questões por página:

A disjunção exclusiva, denotada por ⊕, é uma operação lógica que assume valor verdadeiro quando, e somente quando, apenas uma das proposições envolvidas assumir valor lógico verdadeiro.

Considere as proposições:

p: A equipe x participa do campeonato.
q: A equipe y fica na 2a colocação do campeonato.

Por qual proposição a negação de p⊕q pode ser expressa?

Na lógica sentencial clássica, dada uma linguagem L que contém as proposições p, q e r, quantas linhas deve ter a tabela verdade da proposição [(¬p∧¬q) ∨ (¬p∧r)]↔r?

Sejam p e q fórmulas bem formadas de um sistema lógico de primeira ordem.

Qual a regra clássica de inferência designada pela expressão (p→q), ¬q|- ¬p?

Qual a regra clássica de inferência designada pela
expressão (p→q), ¬q? ¬p?
Tomando como verdadeiras as premissas:

p1 : Eu passo no concurso ou continuarei estudando.

p2 : Se eu passar no concurso, comprarei um carro.

p3 : Se eu continuar estudando, comprarei mais livros.

A conclusão que se pode inferir a partir da regra do silogismo disjuntivo aplicado nas premissas acima é:
Seja um vetor de inteiros com 400 elementos distintos ordenados em ordem crescente.

Qual é o número máximo de iterações necessárias para encontrar um elemento qualquer do vetor caso seja utilizado o algoritmo de busca binária?