ENUNCIADOS CATEGÓRICOS

PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.
PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um peixe
azul.
PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um peixe
azul.

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um peixe e x é azul
PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um peixe
azul.

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um peixe e x é azul
 Definimos o conjunto representando como:

 P(x) – x é um peixe

 A(x) – x é azul
PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um peixe
azul.

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um peixe e x é azul
 Definimos o conjunto representando como:

 P(x) – x é um peixe

 A(x) – x é azul

 A representação final ficaria:

 Ǝx – para representar a expressão “alguns”
PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.

 Transformando para uma descrição com conjuntos, isso quer

dizer que existe pelo menos um X que é um peixe azul.

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um peixe e x é azul
 Definimos o conjunto representando como:
 P(x) – x é um peixe

 A(x) – x é azul

 A representação final ficaria:

 Ǝx( P(x) – representa a expressão “peixes” que transcrevemos
em conjunto para “ x é um peixe”
PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.

 Transformando para uma descrição com conjuntos, isso quer

dizer que existe pelo menos um X que é um peixe azul.

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um peixe e x é azul
 Definimos o conjunto representando como:
 P(x) – x é um peixe

 A(x) – x é azul

 A representação final ficaria:

 Ǝx(P(x) ^ – representa o conectivo E, de acordo com a
transformação para conjunto “x é um peixe e x é azul”
PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um peixe
azul.

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um peixe e x é azul
 Definimos o conjunto representando como:

 P(x) – x é um peixe

 A(x) – x é azul

 A representação final ficaria:

 Ǝx(P(x) ^ A(x) – representa x é azul
PASSO-A-PASSO
 Temos a seguinte sentença:
 Alguns peixes são azuis.

 Transformando para uma descrição com conjuntos, isso quer

dizer que existe pelo menos um X que é um peixe azul.

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um peixe e x é azul
 Definimos o conjunto representando como:
 P(x) – x é um peixe

 A(x) – x é azul

 A representação final ficaria:

 Ǝx(P(x) ^ A(x)) - que representa a expressão “Alguns peixes são
azuis.”
PASSO-A-PASSO
 E se tivermos a seguinte sentença:
 Alguns peixes não são azuis.
PASSO-A-PASSO
 E se tivermos a seguinte sentença:
 Alguns peixes não são azuis.

 Se definirmos o conjunto representando como:

 P(x) – x é um peixe
 A(x) – x é azul
PASSO-A-PASSO
 E se tivermos a seguinte sentença:
 Alguns peixes não são azuis.

 Se definirmos o conjunto representando como:

 P(x) – x é um peixe Mantemos:
 A(x) – x é azul Existe pelo menos um X tal que: x é
um peixe e x é azul
 A representação final ficaria:
 Ǝx(P(x) ^ ~A(x)) - que representa a expressão “Alguns peixes
não são azuis.”
Ǝx – representa a expressão “alguns”
P(x) - representa a expressão “x é um
peixe”
^ - conectivo E
~A(x) – representa a expressão “x é
azul” de forma negada
PASSO-A-PASSO
 Temos a seguinte sentença:
 Qualquer peixe é azul.
PASSO-A-PASSO
 Temos a seguinte sentença:
 Qualquer peixe é azul.

 Transformando para uma descrição com conjuntos, isso

quer dizer que qualquer X que é um peixe, então é azul.
PASSO-A-PASSO
 Temos a seguinte sentença:
 Qualquer peixe é azul.

 Transformando para uma descrição com conjuntos, isso

quer dizer que qualquer X que é um peixe, então é azul.

 Também podemos dizer que:

 Para qualquer um X: Se X é um peixe, então X é azul.
PASSO-A-PASSO
 Temos a seguinte sentença:
 Qualquer peixe é azul.

 Transformando para uma descrição com conjuntos, isso

quer dizer que qualquer X que é um peixe, então é azul.

 Também podemos dizer que:

 Para qualquer um X: Se X é um peixe, então X é azul.
 Definimos o conjunto como:

 P(x) – x é um peixe

 A(x) – x é azul
PASSO-A-PASSO
 Temos a seguinte sentença:
 Qualquer peixe é azul.

 Transformando para uma descrição com conjuntos, isso

quer dizer que qualquer X que é um peixe, então é azul.

 Também podemos dizer que:

 Para qualquer um X: Se X é um peixe, então X é azul.
 Definimos o conjunto como:

 P(x) – x é um peixe ⩝x – representa a

 A(x) – x é azul
expressão “qualquer”
(como também, todo”
 Por fim, temos:
 ⩝x(P(x) → A(x)) - que representa a expressão “Qualquer
peixe é azul.”
PASSO-A-PASSO
 Temos a seguinte sentença:
 Algum bicho que mora na Antártida não gosta de frio.
PASSO-A-PASSO
 Temos a seguinte sentença:
 Algum bicho que mora na Antártida não gosta de frio.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um bicho
que mora na Antártica e não gosta de frio
PASSO-A-PASSO
 Temos a seguinte sentença:
 Algum bicho que mora na Antártida não gosta de frio.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um bicho
que mora na Antártica e não gosta de frio

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um bicho, x mora na
Antártica e x não gosta de frio
PASSO-A-PASSO
 Temos a seguinte sentença:
 Algum bicho que mora na Antártida não gosta de frio.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um bicho
que mora na Antártica e não gosta de frio

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um bicho, x mora na
Antártica e x não gosta de frio
 Definimos o conjunto como:

 B(x) – x é um bicho

 A(x) – x mora na Antártica

 G(x) – x gosta de frio

PASSO-A-PASSO
 Temos a seguinte sentença:
 Algum bicho que mora na Antártida não gosta de frio.

 Transformando para uma descrição com conjuntos, isso

quer dizer que existe pelo menos um X que é um bicho
que mora na Antártica e não gosta de frio

 Também podemos dizer que:

 Existe pelo menos um X tal que: x é um bicho, x mora na
Antártica e x não gosta de frio
 Definimos o conjunto como:
Os parênteses são importantes
 B(x) – x é um bicho
para definir a ordem de
 A(x) – x mora na Antártica preferência. Isso depende do texto
 G(x) – x gosta de frio
da sentença.

 Por fim, temos:

 Ǝx((B(x) ^ A(x)) ^ ~G(x))
X