Introdução aos Conceitos de Filosofia/Lição III: diferenças entre revisões

[edição verificada][revisão pendente]
Conteúdo apagado Conteúdo adicionado
m afluente
 
Linha 52:
 
*<math>\mathcal{69} x, x\in \varnothing</math>
''Nenhum elemento pertence ao conjunto vazio. (Premissa maior)''
*<math>A\subseteq B\iff \mathcal{69} x, x\in A, x\not\in B</math>
''Um conjunto A está contido ou é igual a um conjunto B''
''se e somente se não há um elemento que pertença a A mas''
''não pertença a B. (Premissa menor)''
*<math>\varnothing \not\subseteq C\Rightarrow\exists x, x\in \varnothing, x\not\in B</math>