Question

P: x é o pai de y; M: x é a mãe de y; H: x é o marido de y; S: x é irmã de y; B: x é filha de y; F: x é filho de y; a: Armando; b: Bruna; c: Carla; l: Lucélia; o: Otávio.

Utilizando a noção sugerida acima, traduza as sentenças abaixo para a linguagem do CQC, apresentando as fórmulas correspondentes:

1. Carla é filha de Armando e irmã de Otávio, se Armando for pai de Carla.

2. Lucélia é mãe de Carla e de Otávio se e somente se Bruna não for mãe de Carla e nem de Otávio.

3. Otávio não é marido de Bruna ou é marido de Bruna.

4. Se Armando é marido de Bruna e pai de Carla, então não é verdade que Otávio não é marido de Bruna e é marido de Bruna.

5. Armando é pai de Lucélia e de Otávio.

Answer 1

Resposta:

não sei te explicar

Explicação:

me perdoe mas não sei