Mostrando items 1-3

Law of identity (1)
Lógica no-reflexiva (1)
Lógica não reflexiva (1)