o a ` Lo gica Matema tica Introduc a

Margarida Dias (Dep. Matem atica)

As express oes da linguagem matem atica

Designa c ao
Chama-se termo, ou designa c ao, a uma express ao cujo papel e designar ou nomear alguma coisa.

Exemplos:
4 2+9 Lisboa

Margarida Dias (Dep. Matem atica)

As express oes da linguagem matem atica

Proposi c ao
Chama-se proposi c ao a uma express ao da qual faz sentido dizer que e verdadeira ou que e falsa.

Exemplos:
4+2 =6 2+9 =8 Lisboa e uma cidade portuguesa. Cada proposi c ao tem um e um s o valor l ogico, entre dois poss veis, V (verdadeiro) ou F(falso).
Margarida Dias (Dep. Matem atica) 3

Princ pios

Princ pio da n ao contradi c ao

Uma proposi c ao n ao pode ser verdadeira e falsa ao mesmo tempo.

Princ pio do terceiro exclu do

Uma proposi c ao e verdadeira ou falsa.

Margarida Dias (Dep. Matem atica)

Conectivos l ogicos

Nega c ao
A nega c ao de uma proposi c ao e uma nova proposi c ao que e falsa se a primeira e verdadeira e e verdadeira se a primeira for falsa.

Nega c ao

(n ao p )

Margarida Dias (Dep. Matem atica)

Conectivos l ogicos

Conjun c ao
A conjun c ao de duas proposi c oes e uma nova proposi c ao que e verdadeira se as duas primeiras o forem e que e falsa, quer no caso em que as duas primeiras s ao falsas, quer no caso em que uma delas e verdadeira e a outra e falsa.

Conjun c ao

pq

(p e q )

Margarida Dias (Dep. Matem atica)

Conectivos l ogicos

Disjun c ao
A disjun c ao de duas proposi c oes e uma nova proposi ca o que e falsa no caso em que as duas primeiras s ao ambas falsas e e verdadeira, quer no caso em que uma das primeiras e verdadeira e a outra e falsa, quer no caso em que as duas primeiras s ao ambas verdadeiras.

Disjun c ao

pq

(p ou q )

Margarida Dias (Dep. Matem atica)

Conectivos l ogicos
Implica c ao
A implica c ao entre duas proposi c oes, uma primeira o antecedente e uma segunda o consequente, e uma nova proposi c ao que e verdadeira nos casos em o antecedente e o consequente s ao ambos verdadeiros o antecedente e o consequente s ao ambos verdadeiros o antecedente e falso e o consequente e verdadeiro e e falso no caso em que o antecedente e verdadeiro e o consequente e falso

Implica c ao

pq

(se p ent ao q ; p e condi c ao suciente para que q ; q e condi c ao necess aria para que p )
8

Margarida Dias (Dep. Matem atica)

Conectivos l ogicos

Equival encia
A equival encia entre duas proposi c oes e uma nova proposi c ao que e verdadeira quer no caso em que as primeiras s ao ambas verdadeiras, quer no caso em que s ao ambas falsas, e que e falsa no caso em que uma das primeiras e falsa e a outra e verdadeira.

Equival encia

pq

(p equivalente a q )

Margarida Dias (Dep. Matem atica)

Conectivos l ogicos

Disjun c ao exclusiva
A disjun c ao exclusiva de duas proposi c oes e uma nova proposi c ao que e falsa quer no caso em que as primeiras s ao ambas verdadeiras, quer no caso em que s ao ambas falsas, e que e verdadeira no caso em que uma das primeiras e falsa e a outra e verdadeira.

Disjun c ao exclusiva

q p

(ou p ou q )

Margarida Dias (Dep. Matem atica)

10

F ormulas bem formadas

Vari avel proposicional e um s mbolo p,q,r,...ao qual podemos atribuir um valor l ogico V ou F. Proposi c ao at omica (ou atomo): vari avel proposicional ou uma constante, V ou F.

F ormula bem formada (fbf)

V e F s ao fbfs. Toda a vari avel proposicional e fbf. Se A e B s ao fbfs, as seguintes tamb em s ao: A, (A B ), (A B ), (A B ), (A B ) Toda a fbf e formada por estas regras.

Margarida Dias (Dep. Matem atica)

11

F ormulas bem formadas

Conven c ao
As opera c oes l ogicas s ao consideradas pela seguinte ordem de prioridade: , , , ,

Margarida Dias (Dep. Matem atica)

12

Interpreta c ao de fbfs

Uma fbf diz-se uma:

tautologia
se for verdadeira para todos os poss veis valores l ogicos.

contradi c ao
se for falsa para todos os poss veis valores l ogicos

conting encia
se n ao for nem tautologia nem contradi c ao.

Margarida Dias (Dep. Matem atica)

13

Equival encia L ogica

fbfs equivalentes
Duas fbfs dizem-se (logicamente) equivalentes se tiverem o mesmo signicado. A B , A B (A B e uma tautologia.)

Algumas equival encias b asicas

p p V Lei do terceiro exclu do p p F Lei da contradi c ao pV p p F p Leis da identidade pV V p F F Leis da absor c ao
Margarida Dias (Dep. Matem atica) 14

Equival encia L ogica

Outras equival encias
pp p p p p Leis da idempot encia (p ) p Lei da dupla nega c ao pq qp p q q p Leis da comutatividade (p q ) r p (q r ) (p q ) r p (q r ) Leis da associatividade p (q r ) (p q ) (p r ) p (q r ) (p q ) (p r ) Leis da distributividade (p q ) p q (p q ) p q Leis de De Morgan
Margarida Dias (Dep. Matem atica) 15

Racioc nio matem atico

O racioc nio l ogico,

ou racioc nio matem atico e um conjunto de m etodos que podemos utilizar para assegurar a validade de certas arma c oes, desde que acreditemos na validade de outras que consideramos como conhecidas.

Argumento
Um argumento e constitu do por um conjunto de proposi c oes chamadas premissas e por uma outra proposi c ao chamada conclus ao.

Margarida Dias (Dep. Matem atica)

16

Argumentos correctos
Argumento v alido
Um argumento da forma De A1 , A2 , ... e An deduz-se B A1 A2 . . . An B diz-se um argumento correcto se A1 A2 An B for uma tautologia. A1 , A2 , , An |= B
Margarida Dias (Dep. Matem atica) 17

Express oes proposicionais

Express ao proposicional
Uma express ao proposicional, ou condi c ao, e uma express ao com vari aveis que se transforma numa proposi c ao quando se substituem essas vari aveis por termos convenientes.

Condi c ao universal
Uma condi c ao universal e uma express ao proposicional que se transforma numa proposi c ao verdadeira, qualquer que seja o modo como substitu mos as suas vari aveis por termos.

Margarida Dias (Dep. Matem atica)

18

Quanticadores

Quanticador universal
O quanticador universal e um instrumento l ogico que transforma uma express ao proposicional com uma vari avel numa proposi c ao, a qual e verdadeira se a express ao proposicional for universal e e falsa se a express ao proposicional n ao for universal, ou seja, se houver pelo menos uma substitui c ao que conduza a uma proposi c ao falsa.

xB (x ) ( para todos; para todo o x ; todo o x ; para qualquer x ; etc.)

Margarida Dias (Dep. Matem atica)

19

Quanticadores

Quanticador Existencial
O quanticador existencial e um instrumento l ogico que transforma uma express ao proposicional com uma vari avel numa proposi c ao, que e verdadeira se houver pelo menos uma substitui c ao da vari avel que conduza a uma proposi c ao verdadeira e que e falsa caso contr ario, isto +e, se qualquer substitui c ao conduzir a uma proposi c ao falsa.

xB (x ) (existe um x ; existe algum x ; existe pelo menos um x ; para algum x ; etc.)

Margarida Dias (Dep. Matem atica)

20

Quanticadores

Algumas equival encias b asicas:

(A(x )) x (A(x )) (xA(x )) x (A(x ))

Margarida Dias (Dep. Matem atica)

21

Regras de Infer encia para Quanticadores

Especica c ao do universal: se xF (x ) e verdade, ent ao F (a) e verdade para qualquer a. Generaliza c ao do universal: se F (a) e verdade para qualquer a, ent ao xF (x ) e verdade. Especica c ao do existencial: se xF (x ) e verdade, ent ao existe um elemento a tal que F (a) e verdade. Generaliza c ao do existencial: se existe pelo menos um elemento a tal que F (a) e verdade, ent ao xF (x ) e verdade.

Margarida Dias (Dep. Matem atica)

22

Outras Regras de Infer encia

AB A AAB A, B A B A B , A B B A, A B B A B , B A A B, B C A C A B , A B Lei da Simplica c ao Lei da Adi c ao Lei da Combina c ao Lei dos casos Modus Ponens Modus Tollens Silogismo Hipot etico Silogismo Disjuntivo

Margarida Dias (Dep. Matem atica)

23