[Logica-l] Logical entailment

2013-12-12 Por tôpico Elaine Pimentel
Acho que aqui vão alguns exemplos, com ou sem side contitions :) http://imgur.com/Dkpalmp -- Elaine. - Elaine Pimentel - MAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Se

[Logica-l] uma proposta de reformulação das ideias de injetividade e sobrejetividade

2013-12-12 Por tôpico Arthur Buchsbaum
Caros colegas: Há dias perguntei através desta lista a respeito do nome de uma coleção cujos pares ordenados se comportam como uma função. Por exemplo, considerando que 7 não é par ordenado, então R ={<4,3>,<5,3>,7,<2,8>} não é relação, mas o subconjunto {<4,3>,<5,3>,<2,8>} de R é função. Sobreveio