Lógica: 3ª lista de exercícios



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


  1. Transcreva as sentenças abaixo para a linguagem do CQC, usando a notação sugerida:

Exemplo: (a) xBx



  1. Diga, das expressões abaixo, se são fórmulas ou não, e por que, supondo que A é um símbolo de predicado zero-ário, P e Q são símbolos de propriedade, e R, de relação binária:



Exemplo: (a) Como R é um símbolo de relação binária, ele precisa ser acompanhado de dois termos; como a e b são constantes individuais, e portanto são termos, a expressão Rab é uma fórmula.


1   2


©aneste.org 2017
enviar mensagem

    Página principal