Prof. Robson Rodrigues da Silva

Slides:



Advertisements
Apresentações semelhantes
Introdução à Programação: uma Abordagem Funcional
Advertisements

Introdução a Lógica Matemática
Prof. Marcone Sotéro Cálculo de Predicados Prof. Marcone Sotéro
Cálculo Diferencial e Integral III
Prof. Robson Rodrigues da Silva
Prof. Robson Rodrigues da Silva
Lógica Matemática e Computacional
Lógica Matemática e Computacional 1.2 – Conceitos Preliminares
Lógica Matemática e Computacional 2.2 – Implicação e Equivalência
Elementos de Lógica Matemática
LÓGICA MATEMÁTICA PROPOSIÇÕES E CONECTIVOS
LÓGICA PROPOSIÇÕES E CONECTIVOS
LÓGICA MATEMÁTICA OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES
Lógica Proposicional-3
TC2- Lógica Proposicional
Lógica e Especificação
Prof. Sérgio Altenfelder
BCC 101– Matemática Discreta
Profa. Éverlin Marques PRD-MEC
TRIGONOMETRIA CONCEITOS E APLICAÇÕES
Curso: Licenciatura em Matemática
Curso: Licenciatura em Matemática
Lógica Matemática Introdução.
Tautologia Contradição e Contingência
Lógica Matemática.
Curso de Licenciatura em Matemática
Aula 1 – Lógica de Programação e Algoritmos
Operações Lógicas sobre proposições
Introdução a Lógica Prof. Luiz Carlos Gabi.
Lógica Matemática e Computacional
Prof. Esp. Cristiano José Cecanho Inteligência Artificial
Não se esqueça de estudar. Vamos ver alguns exemplos
Fundamentos de Matemática: Alguns apontamentos
Lógica Matemática.
ÁLGEBRA – AULA 2 Equações.
CONTRUÇÃO DA TABELA-VERDADE
Circuitos Lógicos e Álgebra de Boole
Matemática para Computação
“A lógica é uma ciência do raciocínio”
UNIVERSIDADE SEVERINO SOMBRA
Lógica matemática.
Conectivos Lógicos / Operações
Matemática Discreta 1 – MD 1
Inteligência Artificial: Lógica Proposicional e Prolog
ALGORITMO Samuel Â. Lopes.
BCC101 – Matemática Discreta
LÓGICA PROPOSICIONAL.
J. M. Barreto UFSC-INE Lógica de Primeira Órdem R ecordação.
1 Provas e Proposições Anjolina Grisi de Oliveira Fonte:
RACIOCÍNIO LÓGICO PBH JULIANO PEREIRA.
LÓGICA PROPOSICIONAL ou CÁLCULO PROPOSICIONAL
Lógica para Computação
Colégio Agrícola “José Bonifacio”
Gabarito Escola Estadual São Francisco.
Prof. Christiano Lima Santos
Lógica matemática.
Álgebra Booleana Faculdade Pitágoras Prof. Edwar Saliba Júnior
NOÇÕES DE LÓGICA Professor: Renilson.
Programação Computacional Profa. Madeleine Medrano
Tema 1 – Lógica e Teoria dos Conjuntos
Sejamos Implicantes: Lógica e Linguagem Ralph Costa Teixeira Universidade Federal Fluminense.
Negação de Proposições Simples ou Compostas
Curso: Técnico Integrado em Informática Disciplina : Fundamentos de Lógica e Algoritmo Resumo do 1º Bimestre Profª. Katiuscia Lopes dos Santos.
Aula de Ciências O Sistema Solar.
Introdução à Lógica Lógica? É lógico!.
Introdução à Lógica Matemática Prof. Gilbert Azevedo IFRN Técnico em Informática para Internet.
Silogismo No cumprimento de mais uma tarefa da vida académica, sobretudo na disciplina de Matemática, coube ao grupo, já identificado, elaborar o presente.
Lógica Matemática e Elementos de Lógica Digital
Proposições e Conectivos Lógicos
Raciocínio Lógico ( Proposições e tabela verdade)
Transcrição da apresentação:

Prof. Robson Rodrigues da Silva www.robson.mat.br robsonmat@uol.com.br MATEMÁTICA A e C Prof. Robson Rodrigues da Silva www.robson.mat.br robsonmat@uol.com.br

INTRODUÇÃO À LINGUAGEM

INTRODUÇÃO PROPOSIÇÃO: Sentenças declarativas afirmativas (expressão de uma linguagem) da qual tenha sentido afirmar que seja verdadeira ou que seja falsa.

INTRODUÇÃO A Lua é um satélite da Terra Recife é a capital de Pernambuco Matemática é uma ciência. VASCO DA GAMA descobriu o Brasil 3 / 5 é um número inteiro

PROPOSIÇÕES MOLECULARES CARLOS É CARECA E JONAS É ALTO. p q p ^ q Outros conectivos lógicos

PROPOSIÇÕES MOLECULARES SE NÃO CHOVER ENTÃO ANA VAI AO CLUBE. q p p q

TABELA VERDADE DA NEGAÇÃO

TABELA VERDADE DA CONJUNÇÃO CARLOS É CARECA E JONAS É ALTO. p q

TABELA VERDADE DA DISJUNÇÃO CARLOS É CARECA OU JONAS É ALTO. p q

TABELA VERDADE DA CONDICIONAL SE NÃO CHOVER ENTÃO ANA VAI AO CLUBE. p q

TABELA VERDADE DA BICONDICIONAL ANA VAI AO CLUBE SE E SOMENTE SE NÃO CHOVER. p q

ATIVIDADES DE AULA – AP. 1 – PÁG. 171 1. Classifique em V ou F a) ( ) 2 + 2 = 5 F b) ( ) 2 + 2 = 5  3 + 4 = 7 V c) ( ) A capital do Brasil é Buenos Aires  O Sol é uma estrela. V d) ( ) 2.5 = 10  9 = 3 V

ATIVIDADES DE AULA ~(p  q) eq ~p  ~q 2. Apresentar as negações das sentenças abaixo: a) João é loiro e Maria é morena. João não é loiro ou Maria não é morena. ~(p  q) eq ~p  ~q

ATIVIDADES DE AULA ~(p q) eq p  ~q 2. Apresentar as negações das sentenças abaixo: Se Marcos é brasileiro, então ele é latino-americano. Marcos é brasileiro e não é latino-americano. ~(p q) eq p  ~q

  ATIVIDADES DE AULA Todo número irracional é real. 2. Apresentar as negações das sentenças abaixo: Todo número irracional é real.  Existe pelo menos um número irracional que não é real. 

ATIVIDADES DE AULA 3. Demonstre a equivalência: p  q eq ~p  q p q ~p F