Resolução logica
Por: jusadias • 6/4/2015 • Trabalho acadêmico • 411 Palavras (2 Páginas) • 262 Visualizações
Símbolos lógicos
~ negação
^ e
v ou
se então
se e somente se
/ tal que
Exemplo
Dadas as proposições:
p: Está frio q: Está chovendo
p v ~ q = Está frio ou não está chovendo.
p q = S áfi ã á Se está frio então está
Símbolos lógicos
~ negação
^ e
v ou
se então
se e somente se
/ tal que
Exemplo
Dadas as proposições:
p: Está frio q: Está chovendo
p v ~ q = Está frio ou não está chovendo.
p q = S áfi ã á Se está frio então está
Símbolos lógicos
~ negação
^ e
v ou
se então
se e somente se
/ tal que
Exemplo
Dadas as proposições:
p: Está frio q: Está chovendo
p v ~ q = Está frio ou não está chovendo.
p q = S áfi ã á Se está frio então está
Símbolos lógicos
~ negação
^ e
v ou
se então
se e somente se
/ tal que
Exemplo
Dadas as proposições:
p: Está frio q: Está chovendo
p v ~ q = Está frio ou não está chovendo.
p q = S áfi ã á Se está frio então está
Símbolos lógicos
~ negação
^ e
v ou
se então
se e somente se
/ tal que
Exemplo
Dadas as proposições:
p: Está frio q: Está chovendo
p v ~ q = Está frio ou não está chovendo.
p q = S áfi ã á Se está frio então está
Símbolos lógicos
~ negação
^ e
v ou
se então
se e somente se
/ tal que
Exemplo
Dadas as proposições:
p: Está frio q: Está chovendo
p v ~ q = Está frio ou não está chovendo.
p q = S áfi ã á Se está frio então está
...