RACIOCINIO LGICO RESUMO NO 06

(Proposies, silogismos, operaes lgicas, tabelas-verdade)

Prof Moises Lopes da Silva
1. PROPOSIO: uma

declarao que verdadeira ou falsa, mas no ambas.

Uma frase ser uma proposio apenas quando admite um dos dois valores
lgicos: Falso (F) ou Verdadeiro (V). Normalmente, as proposies so
representadas por letras minsculas (p, q, r, e outras).
Obs: o valor lgico da preposio p, escreve-se V(p)
Exemplos:
a.Frases que no so proposies

Pare!
Quer uma xcara de caf?

Eu no estou bem certo se esta cor me agrada

b.Frases que so proposies

p: A lua o nico satlite do planeta terra .

V(p)= V

q: A cidade de Salvador a capital do estado do Amazonas. V(q)= F

r: O numero 712 mpar.

V(r) = F

s : Raiz quadrada de dois um nmero racional.

V(s) = V

2. SILOGISMO: um raciocnio que, a partir de proposies dadas como condies de

partida (as premissas), estabelece uma concluso necessria, recorrendo apenas aos
dados iniciais. Ex: Se todo B A, e todo C B, ento C A.

3. AXIOMA uma sentena ou proposio que no provada ou demonstrada e

considerada como bvia ou como um consenso inicial necessrio para a
construo ou aceitao de uma teoria. Exemplo: entre dois pontos existe apenas
uma reta.
4. INFERENCIA: Operao lgica pela qual se tira uma concluso de uma ou vrias
proposies admitidas como verdadeiras. Todo homem mortal. Scrates homem .
Logo, Scrates mortal

5. TEOREMA : Proposio cientfica que pode ser demonstrada.

Exemplo: Teorema de Pitgoras : estabelece uma relao simples entre os
comprimentos dos lados de um tringulo retngulo, citando que : O quadrado
da hipotenusa igual soma dos quadrados dos catetos

Pgina 1 de 5

6. EXPRESSES LGICAS :

so aquelas cujo resultado da avaliao um valor

lgico ( V ou F ). Exemplos: (7+5)>8 ou 2 =1 (V);

(7+5)>8 e 2=1(F).

7.COMPOSIO DE PROPOSIES : a construo de proposies a partir de

proposies j existentes.
composta

unicamente

valor lgico (V ou F) de uma proposio

determinada

pelos

valores

lgicos

de

suas

proposies constituintes.
Ex:Suponha que tenhamos duas proposies p :Maria tem 23 anos,

q :Maria menor.

Entre outras composies das duas proposies dadas, podemos formalizar as

seguintes :
r: Maria tem 23 anos e Maria menor (

peq)

s: Maria tem 23 anos ou Maria menor (p ou

q)

t: Maria no tem 23 anos e Maria menor ( no

peq

8. CONECTIVOS E TABELAS-VERDADE
As

composies de proposies,

so

feitas,

utilizando

smbolos,

denominados

conectivos lgicos, e o resultado da composio, determinado atravs, uma

tabuada denominada TABELA-VERDADE. Os conectivos mais usuais so:
a) Palavra no, definido como Negao, de uma proposio ,
pelo smbolo lgico ~.

A composio : ~ p (l -se: no p).

Ex: p: 2 um nmero par .

No exemplo acima,

representado

~ p : 2 no um nmero par.

os valores lgicos so : V(p) = V e

V(~ p)= F

A tabela-verdade da negao :

~p

b) Palavra e, definido como conjuno de duas proposies , representado pelo

smbolo lgico . A composio : pq (l -se p e q ).
Ex:

p:2 um nmero par;

Pgina 2 de 5

q: 3 um nmero mpar.

pq : 2 um nmero par e 3 um nmero mpar.

No exemplo acima,

os valores lgicos so : V(p) = V ;

Obs: se as duas proposies p , q ,

V(q) = V ;

V(p ^ q) = V

so verdadeiras, ento p ^ q deve ser considerada

verdadeira.

A tabela verdade da conjuno :

pq

c) Palavra ou, definida como disjuno de duas proposies, representado pelo

smbolo lgico .

A composio : p q (l -se p ou q )

Ex: P: 2 um nmero par

pq

; q: 3 um nmero irracional

: 2 um nmero par ou 3 um nmero irracional

No exemplo acima,

os valores lgicos so : V(p) = V , V(q) = F ,

V(p q) = V

Obs: se as duas proposies p, q so falsas, entop q deve ser considerada

falsa
A tabela verdade da disjuno :

p q

d) Palavra implica, definida como implicao de uma proposio em outra ,

representado pelo smbolo lgico . A composio : p q (le-se p implica q ou
se p , ento q ), indica que a verdade de p implica ou leva verdade de q.

Pgina 3 de 5

Obs: Existem outras maneiras de expressar p

q na linguagem quotidiana, tal como

"p condio suficiente para q" ; "p somente se q" ; "q conseqncia de p".
Exemplos : p: x . y = 0 ; q: x = 0 ou y = 0 ; p

q:

x. y = 0

x=0 y =0

No exemplo acima, os valores logicos so : V(p)=V ; V(q)=V ;

r : h fumaa (V) ;

s : no h fogo (F) ;

s:

V(pq) = V

h fumaa no h fogo(F)

Obs: O nico caso em que a composio p q ser considerada como FALSA, ocorrer
quando se a proposio p for verdadeira , implicar na proposio q como falsa.

A tabela verdade para a implicao,

pq

e) O ltimo tipo a palavra Implicao Bicondicional , tambm chamado de

equivalncia, (representada por " ") . A composio : p q(le-se "p se e somente
se q" ). Indica as implicaes simultneas p q e q p
Obs: A composio p q ser considerada como VERDADEIRA,
so ambos verdadeiros ou ambos falsos.
A tabela verdade para a bicondicional, :

pq

RESUMOS DAS TABELAS-VERDADE

Pgina 4 de 5

apenas se p e q

Obs: Prioridade dos conectivos - Em ordem de maior prioridade para ordem de menor
prioridade esto os conectivos: ~

Ou seja, em uma expresso resolve-se primeiro o no, depois e, ou, se ento, por fim se
somente se.
Negao
p

~q

(e)Conjuno (ou)Disjuno Implicao Equivalncia

p q

Pgina 5 de 5

pq

pq

p => q

p <=> q

F F

F V

V F

V V