Álgebra para Lógica 3

6
Álgebra para Lógica 3 Profa. Éverlin Marques

description

Álgebra para Lógica 3. Profa. Éverlin Marques. Conectivos. Sejam p ( “Pedro trabalha” ) e q ( “Pedro estuda” ) Não : ~p ,  p E :p  q Ou ( inclusivo ) : p  q Se ... Então ... : p  q ... Se E Somente Se ... : p  q , p  q - PowerPoint PPT Presentation

Transcript of Álgebra para Lógica 3

Page 1: Álgebra para Lógica 3

Álgebra para Lógica 3

Profa. Éverlin Marques

Page 2: Álgebra para Lógica 3

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

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

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

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

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 ...