Lógica: 3ª lista de exercícios



Baixar 182.54 Kb.
Página1/2
Encontro07.10.2019
Tamanho182.54 Kb.
  1   2

Lógica: 6ª LISTA DE EXERCÍCIOS

Cálculo quantificacional clássico

  1. Traduzir as fórmulas abaixo da linguagem do CQC para o português, sendo que:

Exemplo: (a) Bernardo gosta de Débora.



  1. Supondo que C é um predicado zero-ário, que P e Q são predicados unários, e que T e R são predicados binários, diga quais das expressões abaixo são fórmulas e, caso sejam, se são atômicas, moleculares, ou gerais:

Exemplo: (a) Fórmula geral.




Compartilhe com seus amigos:
  1   2


©aneste.org 2020
enviar mensagem

    Página principal
Universidade federal
Prefeitura municipal
santa catarina
universidade federal
terapia intensiva
Excelentíssimo senhor
minas gerais
união acórdãos
Universidade estadual
prefeitura municipal
pregão presencial
reunião ordinária
educaçÃo universidade
público federal
outras providências
ensino superior
ensino fundamental
federal rural
Palavras chave
Colégio pedro
ministério público
senhor doutor
Dispõe sobre
Serviço público
Ministério público
língua portuguesa
Relatório técnico
conselho nacional
técnico científico
Concurso público
educaçÃo física
pregão eletrônico
consentimento informado
recursos humanos
ensino médio
concurso público
Curriculum vitae
Atividade física
sujeito passivo
ciências biológicas
científico período
Sociedade brasileira
desenvolvimento rural
catarina centro
física adaptada
Conselho nacional
espírito santo
direitos humanos
Memorial descritivo
conselho municipal
campina grande