Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional

Documentos relacionados
CCAE. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação

Lóg L ica M ca at M em e ática PROF.. J EAN 1

Proposições e Conectivos

Lógica Matemática. Prof. Gerson Pastre de Oliveira

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

Lógica. Cálculo Proposicional. Introdução

Iniciação a Lógica Matemática

Campos Sales (CE),

Matemática Régis Cortes. Lógica matemática

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César

Introdução à Programação I

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal

Métodos para a construção de algoritmo

Raciocínio Lógico Matemático do ZERO Professor: Daniel Almeida. Aula 01 Estruturas Lógicas: Proposições

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.

Raciocínio Lógico Matemático Cap. 2 Lógica Matemática

LÓGICA PROPOSICIONAL

Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos

8. Expressões lógicas

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO

Matemática para controle:

Noções de lógica matemática Conceitos Básicos

Aula 2: Linguagem Proposicional

18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA

Introdução a computação

Inteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO

2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores

LÓGICA APLICADA A COMPUTAÇÃO

1 TEORIA DOS CONJUNTOS

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.

1. = F; Q = V; R = V.

Lógica para computação - Linguagem da Lógica de Predicados

Aula 03 Proposições e Conectivos. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Expressões e enunciados

Lógica,Linguagem e Comunicação-LLC

Raciocínio lógico matemático

RACIOCÍNIO LÓGICO-MATEMÁTICO

MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP

Antonio Paulo Muccillo de Medeiros

Programa. Raciocínio Lógico Matemático. Livros. Provas

APRESENTAÇÃO. Racionalizar o estudo do aluno é mais que um objetivo para Ad Verum, trata-se de uma obsessão.

Prof. Jorge Cavalcanti

Lógica para Computação

n. 3 Construção de Tabelas-Verdade

Aplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1

APOSTILA DE LÓGICA. # Conceitos iniciais INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE

LÓGICA PROPOSICIONAL

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

Quantificadores, Predicados e Validade

Aula 00. Raciocínio Lógico. Raciocínio Lógico para ANVISA Aula Demonstrativa Professor: Karine Waldrich

Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues

Cálculo proposicional

Lógica Proposicional Semântica e Tabelas Verdade

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.

RESUMO TEÓRICO PRIMEIRA AULA

Alfabeto da Lógica Proposicional

EXERCÍCIOS DE LÓGICA MATEMÁTICA

Lógica Proposicional Sintaxe

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos

Cálculo proposicional

CAPÍTULO I. Lógica Proposicional

UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO

01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições.

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

Aula 00. Raciocínio Lógico para Técnico do INSS. Raciocínio Lógico Professor: Guilherme Neves. Prof.

Concurso Público Conteúdo

Propriedades Semânticas da Lógica Proposicional(Capítulo 3)

Lógica Matemática e Computacional. Proposições Simples e Compostas Exercícios

Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley

Elementos de Lógica Matemática p. 1/2

Caro aluno e cara aluna,

Lógica Binária. Princípios

TEMA 1 INTRODUÇÃO À LÓGICA BIVALENTE CONJUNTOS E CONDIÇÕES FICHA DE TRABALHO 10.º ANO COMPILAÇÃO

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

RACIOCÍNIO LÓGICO. Raciocínio Lógico Ficha 1 Prof. Nelson Carnaval

Matemática discreta e Lógica Matemática

MATEMÁTICA DISCRETA E LÓGICA MATEMÁTICA PROF. APARECIDO EDILSON MORCELLI

1. Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa

A linguagem da Lógica de Predicados. (Capítulo 8) LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto

Afirmações Matemáticas

OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 2 CONCEITOS BÁSICOS

SMA Elementos de Matemática Notas de Aulas

Apostilas OBJETIVA Ano X - Concurso Público Conteúdo

TÓPICO 1 PROPOSIÇÕES E CONECTIVOS RESUMO TEÓRICO

Lógica de Programação

INTRODUÇÃO À LÓGICA MATEMÁTICA

Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial

Logica para computação

Lógica Computacional

Lógica Elementar, Conjuntos e Relações

Símbolos e fórmulas químicas

Transcrição:

Bacharelado em Sistemas de Informação Lógica Matemática Prof.ª Dr.ª Donizete Ritter Introdução ao Cálculo Proposicional 1

LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição Valor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-Verdade 2

TERMO (Palavra) Definição: Definição de um objeto. Exemplo: Paula Um filme de terror Triângulo retângulo 3

PROPOSIÇÃO Definição: Todo o conjunto de termos ou símbolos que exprimem um pensamento de sentido completo. Exemplo: Todo homem é mortal. A Lua é um satélite da Terra. sen /2 = cos /2 4

PROPOSIÇÃO As PROPOSIÇÕES transmitem pensamentos, isto é, afirmam fatos ou exprimem juízos que formamos a respeito de determinados entes. 5

A linguagem NATURAL permite vários tipos de proposições: DECLARATIVA: Meu carro é azul. INTERROGATIVA: Está frio? EXCLAMATIVA: Que lindo! IMPERATIVA: Cale a boca. 6

CÁLCULO PROPOSICIONAL: Permite apenas as proposições DECLARATIVAS. 7

Lógica Matemática Adota regras fundamentais do pensamento: I - PRINCÍPIO (Axioma) DA NÃO CONTRADIÇÃO: Uma proposição NÃO pode ser FALSA e VERDADEIRA ao mesmo tempo. O Brasil é pentacampeão de futebol. O Brasil possui pena de morte. Verdade (V) Falso (F) 8

Lógica Matemática Adota regras fundamentais do pensamento: II - PRINCÍPIO (Axioma) DO TERCEIRO EXCLUÍDO: Toda proposição ou é Verdadeira ou Falsa, isto é, verifica-se sempre um destes casos e nunca um terceiro. LÓGICA BIVALENTE 9

VALOR LÓGICO O Valor Lógico de uma PROPOSIÇÃO é: VERDADE se esta for VERDADEIRA; FALSIDADE se a PROPOSIÇÃO for FALSA. 10

VALOR LÓGICO Dos 2 princípios e do valor lógico: Toda proposição tem um, e um só, dos valores V, F. 11

PROPOSIÇÃO SIMPLES (ÁTOMOS) Proposição NÃO contém nenhuma outra proposição como parte integrante de si mesmo. Minha casa é grande. Seu olhos são azuis. Está calor. 12

PROPOSIÇÃO SIMPLES (ÁTOMOS) São designadas pelas letras latinas minúsculas p,q,r,s,..., chamadas letras proposicionais. p: Minha casa é grande. q: Seu olhos são azuis. r: Está calor. 13

PROPOSIÇÃO COMPOSTAS (MOLÉCULAS) Formada pela combinação de 2 ou mais PROPOSIÇÕES. Minha casa é grande e meu carro é azul. Seu olhos são azuis ou verdes. Se está calor então é verão. 14

PROPOSIÇÃO COMPOSTAS (MOLÉCULAS) São designadas pelas letras latinas maiúsculas P,Q,R,S,..., chamadas letras proposicionais. P: Minha casa é grande e meu carro é azul. Q: Seu olhos são azuis ou verdes. R: Se está calor então é verão. 15

PROPOSIÇÃO COMPOSTAS (MOLÉCULAS) Também chamadas de fórmulas proposicionais ou fórmulas. Notação: P(q,r,s) significa que P é uma proposição composta das proposições atômicas q,r e s. 16

CONECTIVO Definição: Termos usados para formar novas proposições a partir de outras. E OU NÃO SE... ENTÃO......SE E SOMENTE SE... 17

CONECTIVO Exemplos: P: Minha casa é grande e meu carro é azul. Q: Seu olhos são azuis ou verdes. R: Se está calor então é verão. S: Não está chovendo. T: O triângulo é equilátero se e somente se é equiângulo. 18

TABELA-VERDADE: Exibe todos os possíveis valores lógicos da proposição composta correspondentes a todas as possíveis atribuições de valores lógicos às proposições simples componentes. Seja p e q 2 átomos. Os valores lógicos possíveis para cada um deles é: 1 2 p V F 1 2 q V F 19

TABELA-VERDADE: Seja P uma molécula: P(p,q). A tabela-verdade para P é: p q 1 V V 2 V F 3 F V 4 F F Arranjos Binários com repetição de 2 elementos: V e F 20

TABELA-VERDADE: Seja Q uma molécula: Q(p,q,r). p q r 1 V V V 2 V V F 3 V F V 4 V F F 5 F V V 6 F V F 7 F F V 8 F F F Arranjos Ternários com repetição de 2 elementos: V e F 21

NOTAÇÃO V(p): Valor lógico da proposição atômica p. V(p) = V ou V(p)=F V(P): Valor lógico da proposição molecular P. V(P) = V ou V(P)=F 22