olá caros colegas estou com uma dúvida um tanto de iniciante estou estudando lógica (cálculo setencial) e teoria conjuntos em paralelo e me surgiu a seguinte pergunta: eu posso "transcrever as teoria sobre conjunto para a linguagem da lógica, prová-lo em seguida voltar aos conjuntos???" (relevem alguns erro de linguagem) por ex: 'se A está contido em B, então A inter com o complementar de B é vazio' faço: p: x pertence A q: x pertence B r: x pertence C transcrevo: [p implica q]implica[(p e não-q)equivalente a contradição] (não usei os símbolos, foi meio rápido) assim, eu consigo provar/mostrar. é válido valeu!!!!!
