Introduo

Aristteles (384-322 a.C): para garantir a veracidade das dedues. Leibniz (1646-1716) e de Boole (1815-1864)
formalizao da deduo matemtica, originando assim a Lgica Matemtica.

Para que serve?

maneira poderosa de derivar novos conhecimentos a partir dos (antigos) j adquiridos.
deduo matemtica podemos concluir que uma nova frase verdadeira, provando que ela consequncia de declaraes j conhecidas.

Outros pesquisadores que contriburam para a lgica Matemtica

G. Frege (1848-1925), N. Whitehead (1861-1947), D. Hilbert (1862-1943) B. Russell (1972-1970), Peano(1858-1932),

"um modelo matemtico do pensamento dedutivo "estudo sistemtico das verdades lgicas".

Aplicaes
Projeto e simplificao de circuitos digitais. Verificao de programas. Especificao formal de softwares. Formalizao de teorias em geral. Sistemas de Inteligncia Artificial. Linguagens de consulta em Banco de Dados.

Classificao

Jogo Afirmativas/Proposies

Elefantes so maiores que ratos.

uma afirmativa? uma proposio? Qual o valor verdade da proposio? sim sim V

Jogo Afirmativas/Proposies

Jogo Afirmativas/Proposies

520 < 111

uma afirmativa? uma proposio? Qual o valor verdade da proposio? sim sim Falso

y > 5
uma afirmativa? uma proposio? sim no

O valor verdade depende do valor de y Valor de y no se sabe Estas afirmativas denominamos funo proposicional ou sentena aberta

Jogo Afirmativas/Proposies

Jogo Afirmativas/Proposies

Hoje 1 de janeiro e 99 < 5.

uma afirmativa? uma proposio? Qual o valor verdade da proposio? sim sim

Por favor no caiam no sono.

uma afirmativa? no um pedido uma proposio? no

Falso

Somente afirmativas podem ser proposies.

Jogo Afirmativas/Proposies
Se elefantes fossem vermelhos eles poderiam tomar sorvete.

Jogo Afirmativas/Proposies x < y SE E SOMENTE SE y > x.

uma afirmativa? sim

uma afirmativa? uma proposio? Qual o valor verdade da proposio?

sim sim Falsa

porque nao depende do valor especifico de x e y, para definir o valor verdade.

uma proposio? Qual o valor verdade da proposio? sim V

Tabela Verdade da Conjuno

10

11

12

Aplicaes em Circuitos Digitais

conectivos lgicos representados com portas lgicas geram os circuitos lgicos Expresses lgicas representadas por circuitos lgicos.

Exemplo

Qual expresso representa?

Exemplo

Aplicao das Equivalncias

Obter simplificaes de frmulas e, consequentemente, dos circuitos lgicos: Exemplo: Simplificao:

Qual expresso representa?

Consequncia Lgica
Argumento uma srie de frmulas P1, P2, ...,Pn, Q
P1,P2,...,Pn so as hipteses ou premissas Q denominada concluso. Ex: Na corrida, o carro de Rubens bateu ou deu defeito. O carro de Rubens no bateu, Logo, o carro de Rubens deu defeito Na forma proposicional, temos: Sejam P e Q smbolos proposicionais onde
P O carro de Rubens Bateu Q O carro de Rubens deu defeito.

Consequncia Lgica
O argumento descrito como P1,P2,...,Pn,Q dito vlido se sempre que as premissas P1,P2,...,Pn forem verdadeiras a concluso Q tambm for.
Validade depende somente da relao existente entre as premissas e a concluso. no possvel ter a concluso falsa se as premissas forem verdadeiras.

o argumento:

13

Consequncia Lgica
Se um argumento P1,P2,...,Pn,Q vlido
Q logicamente consequente de P1, P2, ...,Pn, P1,P2,...,Pn implica tautologicamente Q

Verificao de Validade
Tabela Verdade

Verificao de Validade
Exemplo 2:

Clculo Proposicional
Tabela verdade suficiente para verificar a validade de qualquer argumento na lgica proposicional. Existe outra forma de verificar a validade de um argumento
Baseada em regras de transformao: regras de inferncia

Para verificar se Q derivada de P1,P2,...,Pn, aplica-se as regras de inferncia a P1,P2,...,Pn e nas frmulas derivadas at que Q seja derivada Mtodo puramente sinttico

Clculo Proposicional
Parte-se de um conjunto de frmulas admitidas como verdadeiras a priori, denominadas de axiomas Uma prova uma sequncia de frmulas proposicionais tal que cada frmula :
uma instncia dos axiomas do sistemas; derivada das anteriores pela aplicao das regras do sistema.

Regras de Inferncia

Uma deduo uma sequncia de frmulas proposicionais tal que cada frmula :
uma instncia dos axiomas do sistemas; uma frmula proposicional adicional, denominada de hiptese; ou derivada das anteriores pela aplicao das regras do sistema.

14

Regras de Inferncia

Regras de Inferncia

Exemplo

15

Completude e Consistncia
Equivalncia entre uma deduo no clculo proposicional e a validade de um argumento???? Completude
Para todo argumento vlido P1,P2,...,Pn, Q existe uma deduo de Q a partir de P1,P2,...,Pn ? existe uma deduo para todos argumentos vlidos

Mais exemplos

Consistncia
Para toda deduo de Q a partir de P1,P2,...,Pn, ento P1,P2,...,Pn, Q, um argumento vlido ? deriva apenas verdades a partir de verdade,

Exerccios:

Mais exemplos

Exerccios

Completude e Consistncia lgica proposicional

Completa Consistente

16