Álgebra para Lógica 3
-
Upload
calantha-nicolo -
Category
Documents
-
view
26 -
download
4
description
Transcript of Álgebra para Lógica 3
![Page 1: Álgebra para Lógica 3](https://reader036.fdocumentos.com/reader036/viewer/2022082505/568130ef550346895d971082/html5/thumbnails/1.jpg)
Álgebra para Lógica 3
Profa. Éverlin Marques
![Page 2: Álgebra para Lógica 3](https://reader036.fdocumentos.com/reader036/viewer/2022082505/568130ef550346895d971082/html5/thumbnails/2.jpg)
Conectivos
Sejam p ( “Pedro trabalha” ) e q ( “Pedro estuda” )
Não : ~p , p
E : p qOu ( inclusivo ) : p qSe ... Então ... : p q
... Se E Somente Se ... : p q , p q
Ou exclusivo: p v q , p q
![Page 3: Álgebra para Lógica 3](https://reader036.fdocumentos.com/reader036/viewer/2022082505/568130ef550346895d971082/html5/thumbnails/3.jpg)
Observações
Sejam p ( “Pedro trabalha” ) e q ( “Pedro estuda” )
• ~ p q• USO DE PARÊNTESES
– Se mudar a influência do operador• ~ ( p q )
– Requer precedência de resolução• ~ ( p q ) q
![Page 4: Álgebra para Lógica 3](https://reader036.fdocumentos.com/reader036/viewer/2022082505/568130ef550346895d971082/html5/thumbnails/4.jpg)
Silogismo
• termo filosófico de Aristóteles• designa argumentação lógica perfeita• Possui 3 proposições declarativas conectadas • a partir das primeiras duas se deduz conclusão• O exemplo clássico do silogismo é o seguinte:
• Todo homem é mortal. • Sócrates é homem.
• Logo, Sócrates é mortal.
![Page 5: Álgebra para Lógica 3](https://reader036.fdocumentos.com/reader036/viewer/2022082505/568130ef550346895d971082/html5/thumbnails/5.jpg)
Exercícios Conversão
1) Faça as seguintes conversões
• (1,1101 )2 = ( ? ) 10
• (2374 )8 = ( ? ) 16
• (6452 )8 = ( ? ) 16
• (0,69 )10 = ( ? ) 2
![Page 6: Álgebra para Lógica 3](https://reader036.fdocumentos.com/reader036/viewer/2022082505/568130ef550346895d971082/html5/thumbnails/6.jpg)
Exercícios
• Continue a seqüência no sistema hexadecimal é representado pelos números 0,1,2,3,4,5,6,7,8,9,A,B,C,D,E,F, ....) , depois de 20 , conte de dez em dez ...