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.




  1   2


©aneste.org 2017
enviar mensagem

    Página principal