Lgica

Proposies e Conectivos
27 Ago 14
Lgica Proposies e Conectivos
Conjunto de palavras ou smbolos
que exprimem um pensamento
de sentido completo.
As proposies transmitem pensamentos
isto ! a"irmam "atos ou exprimem ju#os
que "ormam a respeito de determinados entes.
Proposio
Lgica Proposies e Conectivos

Princpio da No Contradio:
uma proposi$o no pode ser
verdadeira e "alsa ao mesmo tempo.

Princpio do Terceiro Excludo:

toda proposi$o ou ! verdadeira ou ! "alsa
isto ! veri"ica%se sempre um destes casos e
nunca um terceiro.
Princpios da Lgica Matemtica
Lgica Proposies e Conectivos
!alor Lgico

& a verdade "!# se a proposi$o ! verdadeira

e a $alsidade "%# se a proposi$o ! "alsa.

'elos 'rincpios da ($o Contradi$o e do )er%

ceiro *xcludo tem%se que toda proposi$o tem
um& e s um dos valores l+gicos , e -.

. valor l+gico de uma proposi$o simples p !

indicada por ,/p01 !"p# ' ! ou !"p# ' %.
Lgica Proposies e Conectivos
Proposio (imples

Proposio (imples ou )t*mica ! aquela

que n$o cont!m nen2uma outra proposi$o
como parte integrante de si mesma.

Exemplos:

p 1 Carlos ! pro"essor

q 1 'edro ! estudante

r 1 o n3mero 24 ! um quadrado per"eito

Lgica Proposies e Conectivos
Proposio Composta

Proposio Composta ou Molecular !

aquela "ormada pela combina$o de duas
ou mais proposies.

Exemplo:

' 1 Carlos ! pro"essor e 'edro ! aluno

5 1 Carlos ! pro"essor ou 'edro ! aluno

6 1 7e 'edro ! estudante ent$o ! "eli#

Lgica Proposies e Conectivos
Conectivos

7$o palavras que s$o usadas para "ormar

novas proposies a partir de outras.

*xemplos1

' 1 . n3mero 8 ! par e o n3mero 7 ! mpar.

5 1 . tri9ngulo A:C ! ret9ngulo ou

is+sceles.

6 1 No est; c2ovendo.

7 1 (e <os! ! engen2eiro ento sabe -sica.

Lgica Proposies e Conectivos
Ta+ela !erdade

. valor l+gico de qualquer proposi$o composta

depende unicamente dos valores l+gicos das
proposies simples componentes "icando por
eles univocamente determinado.

*xemplo1
p q
1 , ,
2 , -
= - ,
4 - -
Lgica Proposies e Conectivos
Exerccios
>eterminar o valor l+gico das proposies1

a 1 . n3mero 17 ! primo

b 1 -ortale#a ! a capital do ?aran2$o

c 1 )iradentes morreu a"ogado

d 1 /= @ 40
2
A =
2
@ 4
2

e 1 % 1 B % 7

" 1 )odo n3mero par ! divisvel por 2.

Lgica Proposies e Conectivos
Exerccios
>eterminar o valor l+gico das proposies1

a 1 . n3mero 17 ! primo ............................ !"a# ' !

b 1 -ortale#a ! a capital do ?aran2$o

c 1 )iradentes morreu a"ogado

d 1 /= @ 40
2
A =
2
@ 4
2

e 1 % 1 B % 7

" 1 )odo n3mero par ! divisvel por 2.

Lgica Proposies e Conectivos
Exerccios
>eterminar o valor l+gico das proposies1

a 1 . n3mero 17 ! primo ............................ !"a# ' !

b 1 -ortale#a ! a capital do ?aran2$o ........ !"+# ' %

c 1 )iradentes morreu a"ogado

d 1 /= @ 40
2
A =
2
@ 4
2

e 1 % 1 B % 7

" 1 )odo n3mero par ! divisvel por 2.

Lgica Proposies e Conectivos
Exerccios
>eterminar o valor l+gico das proposies1

a 1 . n3mero 17 ! primo ............................ !"a# ' !

b 1 -ortale#a ! a capital do ?aran2$o ........ !"+# ' %

c 1 )iradentes morreu a"ogado .................... !"c# ' %

d 1 /= @ 40
2
A =
2
@ 4
2

e 1 % 1 B % 7

" 1 )odo n3mero par ! divisvel por 2.

Lgica Proposies e Conectivos
Exerccios
>eterminar o valor l+gico das proposies1

a 1 . n3mero 17 ! primo ............................ !"a# ' !

b 1 -ortale#a ! a capital do ?aran2$o ........ !"+# ' %

c 1 )iradentes morreu a"ogado .................... !"c# ' %

d 1 /= @ 40
2
A =
2
@ 4
2
.................................... !"d# ' %

e 1 % 1 B % 7

" 1 )odo n3mero par ! divisvel por 2.

Lgica Proposies e Conectivos
Exerccios
>eterminar o valor l+gico das proposies1

a 1 . n3mero 17 ! primo ............................ !"a# ' !

b 1 -ortale#a ! a capital do ?aran2$o ........ !"+# ' %

c 1 )iradentes morreu a"ogado .................... !"c# ' %

d 1 /= @ 40
2
A =
2
@ 4
2
.................................... !"d# ' %

e 1 % 1 B % 7 .................................................. !"e# ' %

" 1 )odo n3mero par ! divisvel por 2 .

Lgica Proposies e Conectivos
Exerccios
>eterminar o valor l+gico das proposies1

a 1 . n3mero 17 ! primo ............................ !"a# ' !

b 1 -ortale#a ! a capital do ?aran2$o ........ !"+# ' %

c 1 )iradentes morreu a"ogado .................... !"c# ' %

d 1 /= @ 40
2
A =
2
@ 4
2
.................................... !"d# ' %

e 1 % 1 B % 7 .................................................. !"e# ' %

" 1 )odo n3mero par ! divisvel por 2 ......... !"$# ' !