Religião

FAPAN : Faculdade do Pantanal
Curso : Sistemas de Informação 2º e 3º semestre
Ano Letivo: 2012 / 1
Profº: Esp. Gledson N. Emiliano e-mail: [e-mail]

Matemática Discreta (parte I)

Matemática Discreta
Um sistema é constituído de dois elementos: uma coleção de objetos, por um lado, e uma relação lógica entre eles, por outro. Esses elementos físicos e lógicos fazem com que o sistema se comporte como um organismo. (Mattos, 2005 – pg.1)

Lógica

As regras de lógica nos dão um significado preciso para sentenças matemáticas. Essas regras são usadas para distinguir entre argumentos matemáticos válidos e inválidos.
Paralelamente à sua importância no entendimento do raciocínio matemático, a lógica tem numerosas aplicações em ciência da computação. Suas regras são usadas no design de circuitos de computador, na construção de programas, na verificação da correção de programas e de muitas outras formas. Além do mais, sistemas de softwares têm sido desenvolvidos para construir demonstrações automaticamente.

Proposição
Considera-se uma proposição, ou um enunciado, qualquer sentença declarativa que podemos atribuir apenas um, dos dois valores-verdade: verdade e falsidade; ou seja, uma proposição é uma sentença declarativa que pode ser verdadeira (V) ou falsa (F), mas nunca os dois. Essa propriedade da proposição é usualmente denominada valor-verdade.

EXEMPLO :Todas as seguintes sentenças declarativas são proposições. a. Cuiabá é a capital do Mato Grosso. b. Tóquio é a capital do Canadá. c. 1 + 1= 2. d. 2 + 2 = 3. e. sen 90° = 1 (é uma proposição verdadeira (V)) f. Júpiter está a 100 km da Terra, (é uma proposição falsa (F))

Algumas sentenças que não são proposições são dadas nos próximos exemplos. a. Que horas são? (interrogativa)
b. Leia isto cuidadosamente. (imperativa) c. x + 1 =2. d. x + y = z. e. Venha aqui! (imperativa) f.Não corra tão rápido! (imperativa) g.Pela mãe do