Question

Traduza para linguagem simbólica as seguintes funções proposicionais quantificadas" logica matemática quantificadores" ,utilizando como predicado a letra maiúscula da palavra que representa o predicado.


A)quando os metais são aquecidos, se dilatam.

B)Não existem aves sem penas.

Answer 1

A)

A = os metais são aquecidos

D = os metais se dilatam

A implica D ou seja: A --> D

B)

P = não tem pena

A = não é ave

P implica A: P --> A