Álgebra para Lógica 3

Post on 01-Jan-2016

26 views 4 download

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

Álgebra para Lógica 3

Profa. Éverlin Marques

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

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

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.

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

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