60 likes | 153 Vues
Á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
E N D
Á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 Ou exclusivo: pv 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 ...