Question

todos gatos são gravetos. todos móveis são gatos. logo alguns móveis são gravetos. — todas serras são batatas. todas batatas são atmosferas. logo algumas atmosferas são serras.

Answer 1

Resposta:

Uma forma de resolver este tipo de problema é usando teoria de conjuntos.

Sejam:

C, o conjunto do gravetos

B, o conjunto dos gatos

A, o conjunto dos móveis.

É dado que:

B ⊂ C (todos os gatos são gravetos)

A ⊂ B (todos os móveis são gatos)

Sabemos, da teoria dos conjuntos, que:

Se A ⊂ B e B ⊂ C então A ⊂ C

Portanto: ∀x ∈ A ⇒ x ∈ C (pela definição de subconjunto)

O que está sendo afirmado contradiz a expressão acima.

Dito de outra forma: Se todo x de A pertence a C então NÃO existe x de A que não pertença a C.

Explicação: