2. Questões de Concurso

Filtrar

Questões por página:

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?
Qual figura representa uma árvore AVL?
© 2016-2024 Fonte Concursos - Questões de Concurso e Plano de Estudo