Lista 3 - Universidade Federal Fluminense2017/09/01 · PROPRIEDADES SEMÄNTICAS DA LÕGICA...
6
Lista 3
Lista 3 - Universidade Federal Fluminense2017/09/01 · PROPRIEDADES SEMÄNTICAS DA LÕGICA PROPOSICIONAL . c) Se G]-T, entäo ou d) —KE G) é tautologia se e somente se E e —G