Baixe o app para aproveitar ainda mais
Leia os materiais offline, sem usar a internet. Além de vários outros recursos!
Lista 1 - Linguagem e Semantica L P
Faça como milhares de estudantes: teste grátis o Passei Direto
Esse e outros conteúdos desbloqueados
16 milhões de materiais de várias disciplinas
Impressão de materiais
Agora você pode testar o
Passei Direto grátis
Compartilhar
Prévia do material em texto
Lista sobre Linguagem e Semântica da Lógica
Proposicional
Questão 1: Dada a seguinte valoração verifique se a fórmula é verdadeira
ou falsa. Desenhe a árvore.
v(A) = v(B) = F e v(C) = V .
– (A ( (B ( C)) ( (¬A ( C)
– (A ( ¬ (B (C)) ( (B ( A)
Questão 2: Faça a tabela verdade das fórmulas da questão 1.
Questão 3: Passar as fórmulas da questão 1 para a FNC.
Questão 4: Verifique a seguinte equivalência:
A ( (B ( C) ( ¬A ( ( ¬B ( C)
Questão 5: Verifique:
– (A ( (¬A ( B) ´e tautologia;
– (A ( B) ((C (B) (¬ ((A ( C) ( B) ´e uma contradição.
Questão 6: Execute a função v((, v) para as förmulas e a valoração da
questão1.
Questão 7: Verifique BD |= (
– BD = {A (B, B ( C} e ( = A ( C
– BD = {A ( B, A ( C, B ( C} e ( = C
– BD = {A ( B ( C, ¬A} e ( = ¬B ( C
Compartilhar