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

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 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

Lista 3

Page 2: 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
Page 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
Page 4: 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
Page 5: 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
Page 6: 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