Você está na página 1de 216

RACIOCÍNIO LÓGICO


SUMÁRIO:
I-Conceitos
II-Tabela Verdade
III-Conectivos
IV-Tautologia
V-Contradição
VI-Contingência
VII-Equivalência
VIII-Negação
IX-Propriedades
RACIOCÍNIO LÓGICO

I - CONCEITOS

1-Lógica
2-Proposição
3-Operadores Lógicos
4-Conectivos
5-Tabela Verdade
RACIOCÍNIO LÓGICO

I - CONCEITOS
1- Lógica

(Etmol. Palavra) Origem do grego: logik´- logiké,


deriva de “logos” que significa “razão”,
“argumentação” ou “fala”.
RACIOCÍNIO LÓGICO

I - CONCEITOS
1- Lógica

(Fil.) Trata das formas do pensamento em geral


(dedução, indução, hipótese, inferências, etc) e
das operações intelectuais que visam à
detrerminação do que é verdadeiro ou não.
RACIOCÍNIO LÓGICO

I - CONCEITOS

1- Lógica

(Mat.) Subárea da Matemática que ocupa na


análise das proposições a fim de verificar se uma
afirmação é verdadeira ou falsa.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

(Def.) é toda declaração (afirmação ou negação)


com verbo (ação), sentido completo (sentença
fechada) e que possui valor lógico (verdadeiro
ou falso). É também chamada de Expressão
Lógica.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Exemplos:

I-“Maria É bonita”;
II-“3 É maior que 2”;
III- “A luz ESTÁ acesa”;
IV- “18>(10+13)”.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

1) Sentenças Abertas: proposições que não


podem ser avaliadas quanto ao seu valor lógico,
pois dependem do valor de uma variável
desconhecida. Ex.: X ≤10 ( qual valor de X???);
“ele é um ótimo profissional” (ele quem???).
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

1) Sentenças Abertas: Uma sentença aberta são


aquelas que há, ao menos, uma variável que é
impossível avaliar se é verdadeira ou falsa.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

1) Sentenças Abertas: Uma sentença aberta são


aquelas que há, ao menos, uma variável que é
impossível avaliar se é verdadeira ou falsa.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

1) Sentenças Abertas: Estas podem ser


transformadas em uma proposição quando se
define a variável.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

1) Sentenças Abertas: Exemplos:


I- “É um bom sujeito” (sentença aberta, sujeito
indefinido – quem é um bom sujeito???).
II- “João é um bom sujeito”(sentença fechada, sujeito
definido - João).
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

1) Sentenças Abertas: Exemplos:


I- “X=10” (sentença aberta, variável indefinida –
X=???).
II- “SE (X,Y)=(2,3), ENTÃO X=Y” (sentença fechada,
variável definida).
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

2) Sentenças Interrogativas: cuja principal função


é realizar uma pergunta ou um pedido de
informação. Ex: Pedro vai tirar férias hoje?
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

3) Sentenças Exclamativas: cuja principal função


é manifestar emoção ou opinião. Ex.: “Que sorvete
gostoso!”.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

4) Sentenças sem verbo: Ex.: “sim”, “talvez”,


“ordem e progresso”, “1 de janeiro: ano novo”.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Não são proposições:

5) Sentenças que exprimem ordens ou pedidos:


Ex.: “venha!”, “lave a louça!” , “sente-se”.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Princípio das Proposições:

Para uma sentença ser considerada proposição,


esta deverá seguir os seguintes princípios:
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Princípio das Proposições:

1) Não Contradição: não pode ser Verdadeiro (V)


ou Falso (F) ao mesmo tempo. Ex.: “Esta frase é
falsa”, “morango tem gosto ruim”.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Princípio das Proposições:

2) Identidade: a proposição possui somente um


valor lógico (ou V ou F) . Não existe outro valor
lógico.
RACIOCÍNIO LÓGICO
Em Eletrônica, em
circuitos digitais, é
I - CONCEITOS empregado o “0”
como “F”, que
significa nível baixo
(“L” de “Low”) na
2- Proposição porta lógica, e “1”
como “V”,
significando nível
Princípio das Proposições: alto (“H” de “High”)
na porta lógica.
Adotaremos o “V”
ou “F”.
2) Identidade: a proposição possui somente um
valor lógico (ou V ou F). Não existe outro valor
lógico. Ex.: “2 é par (V)”, “5 é par (F)”.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Princípio das Proposições:

3) Terceiro Excluído: A proposição somente pode


ser Verdadeira (V) ou Falsa(F), não havendo
uma terceira opção. Ex.: “O céu é azul” é
verdadeiro ou falso dependendo de quem vê, não
existindo o meio falso ou meio verdadeiro.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Resumo:
Proposições Simples Proposições Compostas

Não tem conectivo Tem conectivo


Não pode ser dividida Pode ser dividida

Tem um (1) só verbo Tem mais de um (+ de 1) verbo


RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição

Resumo:
Princípios das Proposições Descrição

Não contradição Não V ou F ao mesmo tempo


Identidade Somente um valor lógico

3º Excluído Ou V ou F (nã existe outra opção)


RACIOCÍNIO LÓGICO
I - CONCEITOS

3- Operadores Lógicos

Def.: são operadores que operam expressões


lógicas (operandos) de modo a combina-las ou
transforma-las de acordo com uma determinada
condição, retornando um valor lógico
(Verdadeiro ou Falso).
RACIOCÍNIO LÓGICO
I - CONCEITOS

3- Operadores Lógicos

Exemplo: operador negação (~)


P = (A casa é bonita) ~P = (A casa não é bonita)
RACIOCÍNIO LÓGICO
I - CONCEITOS
4- Conectivos Lógicos

Def.: são operadores lógicos que tem a função


de unir proposições simples para formar
proposições compostas.
RACIOCÍNIO LÓGICO
I - CONCEITOS
4- Conectivos Lógicos

São conectivos lógicos:

➔E: Conjunção
➔OU: Disjunção
➔OU...OU: Disjunção Exclusiva
RACIOCÍNIO LÓGICO
I - CONCEITOS

4- Conectivos Lógicos

São conectivos lógicos:

➔SE...ENTÃO: Condicional
➔SE E SOMENTE SE: Bicondicional
RACIOCÍNIO LÓGICO
I - CONCEITOS
5- Tabela Verdade

Def.: dispositivo, em forma de tabela, usado para


atribuir valores lógicos às proposições simples ou
compostas (entradas ou variáveis), que estão sendo
operadas, de acordo com os operadores
empregados para formá-las, quando os valores
lógicos das proposições simples que as compõem
(entradas) é desconhecido.
RACIOCÍNIO LÓGICO
I - CONCEITOS

5- Tabela Verdade

Quando os valores lógicos das proposições


simples são conhecidas, basta apenas aplicar a
regra dos operadores que estiverem compondo
a proposição composta.
RACIOCÍNIO LÓGICO
I - CONCEITOS

5- Tabela Verdade

Exemplo: Tabela verdade do operador negação (~)


RACIOCÍNIO LÓGICO
I - CONCEITOS
5- Tabela Verdade

P=(a luz ESTÁ acesa)


P ~P

F V

V F
RACIOCÍNIO LÓGICO
II – TABELA VERDADE

1- Def: Uma tabela verdade é composta por 2N linhas


horizontais, onde N é o número de proposições ou
variáveis (A, B, C, etc) que compõe a proposição
composta. Isso é devido ao fato da necessidade de
relacionar todos os valores lógicos (V ou F) que cada
entrada pode assumir.
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
2- Confecção da Tabela Verdade:

I- 2N – linhas onde N é o número de variáveis (A, B,


…);
II- Cabeçalho contendo as variáveis desde o dígito
mais significativo até o menos significativo (A= mais
significativo...Z=menos significativo);
RACIOCÍNIO LÓGICO
II – TABELA VERDADE

2- Confecção da Tabela Verdade:

III- Cabeçalho contendo as expressões, desde as


mais símples, até a expressão geral ;
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
2- Confecção da Tabela Verdade:

Exemplo:

P=(AB)C “(A OU B) E C”
I-Variáveis: A, B e C – 3 variáveis, sendo A o mais
significativo e C o menos significativo;
II-Expressões componentes: (AB) e (AB)C
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F V F F
F F F F F 2N linhas
F V V V V (combinações possíveis)
F
V
V
F
F
V
V
V V
F
(no caso, 8 linhas)
V F F V F
V V V V V
V V F V F
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F V F F
F F F F F
Variáveis
F V V V V
no caso 3
F V F V F
V F V V V
V F F V F
V V V V V
V V F V F
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F F F F
F F V F F
F V F V F
F V V V V
V F F V F
V F V V V
V V F V F
Combinações V V V V V
possíveis para
C
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F F F F
F F V F F
F V F V F
F V V V V
V F F V F
V F V V V
V V F V F
Combinações V V V V V
possíveis para
B
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F F F F
F F V F F
F V F V F
F V V V V
V F F V F
V F V V V
V V F V F
Combinações V V V V V
possíveis para
A
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F V F F Saída
F F F F F (proposição
F V V V V composta)
F V F V F
V F V V V
(proposição
composta)
V F F V F
V V V V V
V V F V F
RACIOCÍNIO LÓGICO
III – CONECTIVOS

Def. (revisão): operadores lógicos que tem a função


de unir proposições simples para formar proposições
compostas.
RACIOCÍNIO LÓGICO
III – CONECTIVOS
1-Conectivo “E”

Operador binário que opera duas proposições com


a função de conjunção. Ela retorna o valor lógico
“VERDADEIRO” (V) quando todos os operandos
possuirem valor lógico VERDADEIRO (V), e FALSO
(F) em qualquer outro caso. Na teoria dos conjuntos
equivale ao operador “Interseção” (  ).
RACIOCÍNIO LÓGICO
III – CONECTIVOS

1-Conectivo “E”

Símbolos: “” , “ . ” ou nenhum (ficaremos com o


primeiro símbolo).
RACIOCÍNIO LÓGICO
III – CONECTIVOS

1-Conectivo “E”

Exemplos:

● AB
● A.B Simbologia empregada
● AB Na eletrônica digital
RACIOCÍNIO LÓGICO
III – CONECTIVOS
1-Conectivo “E”

X=AB Tabela Verdade


A B X=AB
F F F
F V F
V F F
V V V
RACIOCÍNIO LÓGICO
III – CONECTIVOS X=AB
1-Conectivo “E” V=AB

X=AB Tabela Verdade


A B X=AB U
A B
F F F
F V F
V F F
V V V
RACIOCÍNIO LÓGICO
III – CONECTIVOS
1-Conectivo “E”

Exemplos:

-Paula viajou para os EUA E Pedro ficou em casa;


-A casa está aberta E a luz acesa;
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU”

Operador binário que opera duas proposições com a


função de disjunção. Ela retorna o valor lógico
“VERDADEIRO” (V) quando, pelo menos, um dos
operandos apresentar valor lógico VERDADEIRO
(V). Na teoria dos conjuntos equivale ao operador
“Interseção” (  ).
RACIOCÍNIO LÓGICO
III – CONECTIVOS

2-Conectivo “OU”

Símbolos: “” , “ + ” (ficaremos com o primeiro


símbolo).
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU”

Exemplos:
Simbologia empregada
● AB Na eletrônica digital
● A+B
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU”

X=pq Tabela Verdade


p q X=pq
F F F
F V V
V F V
V V V
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU” X=pq
V=pq

X=pq Tabela Verdade


p q X=pq U
F F F p q

F V V
V F V
V V V
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU”
Note a dualidade entre X=pq e Z= p˄q
Tabela Verdade Tabela Verdade
É falso p q X=pq p q X=p˄q É
Verdadeiro
quando todas F F F Quando
F F F
forem Todas
Forem
falsas F V V F V F verdadeiras
V F V V F F
V V V V V V
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU”

Exemplos:

- O pai prometeu dar ao menino uma bicicleta OU um


brinquedo;
- José deve passar para Medicina OU para
Engenharia;
RACIOCÍNIO LÓGICO
III – CONECTIVOS
3-Conectivo “OU...OU”

Operador binário que opera duas proposições com a


função de disjunção exclusiva. Ela retorna o valor
lógico “VERDADEIRO” (V) quando, os operandos
apresentarem valores lógicos diferentes. Caso
contrário, ela será FALSA (F).
RACIOCÍNIO LÓGICO
III – CONECTIVOS
3-Conectivo “OU...OU”

Símbolos: “” , “  ” (ficaremos com o primeiro


símbolo).
RACIOCÍNIO LÓGICO
III – CONECTIVOS

3-Conectivo “OU...OU”

Exemplos:
Símbolo empregado em eletrônica digital
AB
AB
RACIOCÍNIO LÓGICO
III – CONECTIVOS
3-Conectivo “OU...OU”

X=pq Tabela Verdade


p q X=pq
X=p~q  ~pq F F F
F V V
V F V
V V F
RACIOCÍNIO LÓGICO
III – CONECTIVOS
3-Conectivo “OU...OU” X=pq

X=pq Tabela Verdade


p q X=pq p q
U

X=p~q  ~pq F F F
F V V
V F V
V V F
RACIOCÍNIO LÓGICO
III – CONECTIVOS
3-Conectivo “OU...OU”

Exemplos:

- O pai prometeu dar ao menino OU uma bicicleta OU


um brinquedo (dinheiro está curto!);
- José deve estudar OU Medicina OU Engenharia
(impossível cursar duas faculdades ao mesmo
tempo!);
RACIOCÍNIO LÓGICO
III – CONECTIVOS
3-Conectivo “OU...OU”

Exemplos:

- Antônio OU estará em Manaus OU em Recife


amanhã (não pode estar em dois lugares ao mesmo
tempo!).
RACIOCÍNIO LÓGICO
III – CONECTIVOS
4-Conectivo “SE...ENTÃO”

Operador binário que opera duas proposições com a


função de CONDICIONAL. Ela retorna o valor lógico
“FALSO” (F) quando a proposição antecedente for
“VERDADEIRA”, e a conseqüênte for “FALSA”. Em
qualquer outra situação, a sentença é
VERDADEIRA (V).
RACIOCÍNIO LÓGICO
III – CONECTIVOS
4-Conectivo “SE...ENTÃO”

Símbolos: “→” (seta no sentido “antecedente” para o ”


conseqüente”.
Obs.: a “ida” válida não implica necessariamente que
a “volta” seja válida (A→B = Verdadeiro não implica
necessariamente que B→A = Verdadeiro).
RACIOCÍNIO LÓGICO
III – CONECTIVOS
4-Conectivo “SE...ENTÃO”
X=A→B Tabela Verdade
A B X=A→B
X=~AB F F V
F V V
V F F
V V V
RACIOCÍNIO LÓGICO
X=A⇒ B

III – CONECTIVOS X =¬ A∨B

V =C A , B ∪B

4-Conectivo “SE...ENTÃO”
X=A→B Tabela Verdade
A B X=A→B
X=~AB F F V A B
U

F V V
V F F
V V V
RACIOCÍNIO LÓGICO
X=A⇒ B

III – CONECTIVOS X =¬ A∨B

V =C A , B ∪B

4-Conectivo “SE...ENTÃO”
Tabela Verdade
X=A→B A B X=A→B
X=~AB F F V A B
U

Prova: F V V
V F F
X=(~A~B)(~AB)(AB);
V V V
X=(~A~B)(~AB)(~AB)(AB);
X=(~AA)B~A(B~B); Propriedade
X=B~A distributiva
RACIOCÍNIO LÓGICO
III – CONECTIVOS
4-Conectivo “SE...ENTÃO”

Exemplos:

SE Maria nasceu em Teresina, ENTÃO ela é piauiense (V,
Teresina está no Piauí);

SE Maria não nasceu em Teresina, ENTÃO ela é piauiense
(V, quantas cidades há no Piauí?);
RACIOCÍNIO LÓGICO
III – CONECTIVOS
4-Conectivo “SE...ENTÃO”

Exemplos:

SE João nasceu em Porto Alegre, ENTÃO João é cearense
(F, Porto Alegre fica no Rio Grande do Sul e não no Ceará);

SE João não nasceu em Fortaleza, ENTÃO ele não é
cearense (V, quantas cidades existem fora do Ceará?);
RACIOCÍNIO LÓGICO
III – CONECTIVOS
5-Conectivo “...SE E SOMENTE SE...” (sss)

Operador binário que opera duas proposições com a


função de BICONDICIONAL. Ela retorna o valor lógico
“VERDADEIRO” (V) quando as proposições que a
compõe tiverem o mesmo valor lógico. Em
qualquer outra situação, a sentença é FALSA (F).
RACIOCÍNIO LÓGICO
III – CONECTIVOS

5-Conectivo “...SE E SOMENTE SE…” (sss)

Símbolos: “↔” (dupla seta).


Obs.: tanto a “ida” quanto a “volta” devem ser válidas
(A→B = Verdadeiro implica necessariamente também
que B→A = Verdadeiro).
RACIOCÍNIO LÓGICO
III – CONECTIVOS
5-Conectivo “SE E SOMENTE SE…” (sss)
Tabela Verdade
A B X=A↔B
F F V
F V F
V F F
V V V
RACIOCÍNIO LÓGICO
III – CONECTIVOS
5-Conectivo “SE E SOMENTE SE…” (sss)
X=A↔B Tabela Verdade
A B X=A↔B
X=~AB
F F V
X=A~B F V F
X=~(AB) V F F
Note que sss V V V
é a negação do
ou exclusivo!
RACIOCÍNIO LÓGICO
X=A⇔B

III – CONECTIVOS X =¬( A v B)


V =( A∩B)∪C A ∪ B

5-Conectivo “SE E SOMENTE SE…” (sss)


X=A↔B Tabela Verdade
A B X=A↔B
X=~AB
X=A~B F F V
X=~(AB) F V F
V F F
Note que sss V V V
é a negação do
ou exclusivo!
RACIOCÍNIO LÓGICO
III – CONECTIVOS
5-Conectivo “SE E SOMENTE SE…” (sss)
Prova: Note que sss
é a negação do
Tabela Verdade
X=A↔B ou exclusivo!
A B X=A↔B
F F V
X=(AB)(~A~B)=(AB)(~A~B);
F V F
X=(AB)(~A~B)(A~A)(B~B) (Elemento neutro); V F F
X=B(A~B)~A(A~B)=(~AB)(A~B) (Distributiva); V V V
X=~(A~B)~(~AB) =~ ((A~B)(~AB)) (De Morgan);
X=~(AB) (note também que é dual em relação ao OU Exclusivo!).
RACIOCÍNIO LÓGICO
III – CONECTIVOS
5-Conectivo “SE E SOMENTE SE…” (sss)

Exemplos:

Paulo é fluminense SSS nasceu no Rio de Janeiro;

Ele vive SSS estiver respirando;

A autoestima do grupo estará alta SSS a autoestima de cada
indivíduo estiver alta;
RACIOCÍNIO LÓGICO
III – CONECTIVOS
5-Conectivo “SE E SOMENTE SE…” (sss)

A sentença sss também é chamada de “equivalente” e


“condição necessária e suficiente”.

Ex.: “Estar vivo equivale dizer que ainda respira”, ou “


respirar é condição necessária e suficiente para estar
vivo” (não disse em que condição!).
RACIOCÍNIO LÓGICO
III – CONECTIVOS
RESUMO CONECTIVO VERDADEIRO FALSO
Conjunção VV=V VF=F

Disjunção VV=V FF=F


VF=V
Condicional Demais casos V→F=F

Bicondicional V↔V=V V↔F=F


F↔F=V F↔V=F
Disjunção VF=V VV=F
Exclusiva
RACIOCÍNIO LÓGICO
IV– TAUTOLOGIA

Definição: Toda e qualquer proposição será uma


tautologia quando seu valor lógico é VERDADEIRO,
independentemente dos valores lógicos das
proposições que a compõe.
RACIOCÍNIO LÓGICO
IV– TAUTOLOGIA

Uma maneira de se verificar se uma proposição é uma


tautologia é tentar torná-la falsa. Caso esta se torne
falsa, então não é uma tautologia.
RACIOCÍNIO LÓGICO
IV– TAUTOLOGIA
Exemplos:

“João é sério (J) OU João não é sério (~J)”;


X =¬ J∨J
“SE João é sério E Maria é falante (JM), ENTÃO
João é sério SSS Maria for falante (J↔M)”;
X =(J∧ M )⇒(J ⇔ M )
RACIOCÍNIO LÓGICO
IV– TAUTOLOGIA
Exemplos:

“João é sério (J) ou João não é sério (~J)”;


Tabela Verdade
J ~J X=J~J
X =¬ J∨J F V V
F V V
V F V
V F V
RACIOCÍNIO LÓGICO
IV– TAUTOLOGIA
Exemplos:

“SE João é sério E Maria é falante (JM), ENTÃO


João é sério SSS Maria for falante (J↔M)”;
Tabela Verdade
J M JM J↔M X=(JM)→(J↔M)
F F F V V
X =(J∧ M )⇒(J ⇔ M ) F V F F V
V F F F V
V V V V V
RACIOCÍNIO LÓGICO
V– CONTRADIÇÃO
Definição: Toda e qualquer proposição será uma
contradição quando seu valor lógico é FALSO,
independentemente dos valores lógicos das
proposições que a compõe. É o inverso da Tautologia.
RACIOCÍNIO LÓGICO
V– CONTRADIÇÃO
Exemplo: “Toda regra tem exceção “ (tese).
“Toda regra tem exceção” é uma regra e, portanto, ela
apresenta uma exceção. Se ela apresenta uma
exceção, então existe ao menos uma regra que não
possui exceção, o que contradiz a tese de que
“toda regra tem exceção”. Logo, chegamos a uma
contradição (prova).
RACIOCÍNIO LÓGICO
V– CONTRADIÇÃO

Uma maneira de se verificar se uma proposição é uma


contradição é tentar torná-la verdadeira. Caso esta
se torne verdadeira, então não é uma contradição. Se
esta permanecer falsa, então é uma contradição.
RACIOCÍNIO LÓGICO
V– CONTRADIÇÃO
Exemplos:

“João é sério E Maria é falante (JM) E, OU João é


sério OU Maria é falante (JM)”;
Tabela Verdade
J M JM JM X=(JM)(JM)
F F F F F
X =(J∧ M )∧(J v M ) F V F V F
V F F V F
V V V F F
RACIOCÍNIO LÓGICO
V– CONTRADIÇÃO
Tipos de contradição:

Antinomia: duas proposições ou idéias atômicas que


se contradizem. Ex.: “Eu estou mentindo” : mente SSS
fala a verdade e fala a verdade SSS mente (???).
Paradoxo: proposição atômica que, por si só é
contraditória. Ex.: "Ernesto adora estudar, mas detesta
ler" (estudar e ler são atividade correlatas).
RACIOCÍNIO LÓGICO
VI– CONTINGÊNCIA
Definição: Toda e qualquer proposição será uma
contingência quando não for nem Tautologia e nem
contradição. É a situação mais comum. Exemplos:

X=João está em casa E Maria no trabalho;


X=José ganhará um brinquedo de seu pai SSS ele
passar de ano;
X= (AB)C
RACIOCÍNIO LÓGICO
VII– EQUIVALÊNCIA LÓGICA
Definição: Toda e qualquer proposição é uma
equivalência em relação a uma outra SSS ambas
tiverem a mesma tabela verdade. Exemplos:

“A porta está aberta ≡ A porta não está fechada” (X=A,


Y=~(~A);
“Todas as luzes estão apagadas≡nenhuma luz está
acesa”.
RACIOCÍNIO LÓGICO
VII– EQUIVALÊNCIA LÓGICA
A=nasceu no piauí; B= nasceu no nordeste
X=A→B , Y=~AB
X e Y são equivalentes (é nordestino)?
RACIOCÍNIO LÓGICO
VII– EQUIVALÊNCIA LÓGICA
A=nasceu no piauí; B= nasceu no nordeste
X=A→B , Y=~AB
X e Y são equivalentes (é nordestino)?
A B X=A→B
F
F
V
V
RACIOCÍNIO LÓGICO
VII– EQUIVALÊNCIA LÓGICA
A=nasceu no piauí; B= nasceu no nordeste
X=A→B , Y=~AB
X e Y são equivalentes (é nordestino)?
A B X=A→B
F F V
F V V
V F F
V V V
RACIOCÍNIO LÓGICO
VII– EQUIVALÊNCIA LÓGICA
A=nasceu no piauí; B= nasceu no nordeste
X=A→B , Y=~AB
X e Y são equivalentes (é nordestino)?
A B X=A→B A B ~A Y=~AB
F F V F F
F V V F V
V F F V F
V V V V V
RACIOCÍNIO LÓGICO
VII– EQUIVALÊNCIA LÓGICA
A=nasceu no piauí; B= nasceu no nordeste
X=A→B , Y=~AB
X e Y são equivalentes (é nordestino)?
A B X=A→B A B ~A Y=~AB
F F V F F V
F V V F V V
V F F V F F
V V V V V F
RACIOCÍNIO LÓGICO
VII– EQUIVALÊNCIA LÓGICA
A=nasceu no piauí; B= nasceu no nordeste
X=A→B , Y=~AB
X e Y são equivalentes (é nordestino)?
A B X=A→B A B ~A Y=~AB
F F V F F V V
F V V F V V V
V F F V F F F
V V V V V F V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO

1- Definição: operação lógica que consiste em


negar uma proposição, invertendo o seu valor
lógico. Cabe ressaltar que cada conectivo possui
sua regra de negação específica. Na teoria dos
conjuntos, ~A equivale ao complemento do conjunto A
(~A = CA,U).
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
2- Operador negação

Operador unário que opera uma proposição símples


ou composta invertendo o seu valor lógico.
Exemplos:
a) X=Maria está em casa. ~X=Maria NÃO está em
casa.
b) X = seguro; A=porta fechada; B=luz acesa
X=AB ; ~X=~A~B
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO

3- Símbologia

~A , B, ¬C, !F
usado em programação
usado em eletrônica
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO

3- Símbologia

Obs.: Ficaremos com a primeira notação.


RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.1- Conjunção (conectivo E).


X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F
F V
V F
V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.1- Conjunção (conectivo E).


X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F F
F V F
V F F
V V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.1- Conjunção (conectivo E).


X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F F V V
F V F V F
V F F F V
V V V F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.1- Conjunção (conectivo E).


X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F F V V V
F V F V F V
V F F F V V
V V V F F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.1- Conjunção (conectivo E).


X=AB; ~X=~(AB) U
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F F V V V
(Teo De Morgan) F V F V F V A B
V F F F V V
V V V F F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.1- Conjunção (conectivo E).

Ex.:

X=A casa está aberta E a luz acesa;


~X =A casa está fechada OU a luz apagada;
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.2- Disjunção (conectivo OU).


X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F
F V
V F
V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.2- Disjunção (conectivo OU).


X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F F
F V V
V F V
V V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.2- Disjunção (conectivo OU).


X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F F V V
F V V V F
V F V F V
V V V F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.2- Disjunção (conectivo OU).


X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
F F F V V V
F V V V F F
V F V F V F
V V V F F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
U
4.2- Disjunção (conectivo OU). B
A
X=AB; ~X=~(AB)
~X=~A~B A B X=AB ~A ~B ~X=~A~B
(Teo De Morgan) F F F V V V
F V V V F F
V F V F V F
V V V F F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.2- Disjunção (conectivo OU).

Ex.:
X=A casa está aberta OU a luz está acesa;
~X=A casa está fechada E a luz está apagada;
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO

4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivo OU…OU).


X=AB=(A~B)(~AB)
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivo OU…OU).


X=AB=(A~B)(~AB)
~X=~(AB)=~((A~B)(~AB))=(~(A~B)~(~AB
))
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
De Mor
4.3- Disjunção Exclusiva (conectivo OU…OU).
g an
X=AB=(A~B)(~AB)
~X=~(AB)=~((A~B)(~AB))=(~(A~B)~(~AB
))
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivo OU…OU).


X=AB=(A~B)(~AB) De Morgan
~X=~(AB)=~((A~B)(~AB))=(~(A~B)~(~AB
))
~X=(~A~(~B))(~(~A)~B))=(~AB)(A~B)
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivoElem.OU…OU).


Neutro
X=AB=(A~B)(~AB)
Elem. Neutro
~X=~(AB)=~((A~B)(~AB))=(~(A~B)~(~AB
))
Distributiva
~X=(~A~(~B))(~(~A)~B))=(~AB)(A~B)
~X=((~AA)(BA)(~B~A)(B~B)
~X=(BA)(~B~A) = A↔B, ou Obs.: X~X=F: Elemento Neutro
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivo OU…OU).


A B X=AB ~A ~B X=~A↔~B
F F
F V
V F
V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivo OU…OU).


A B X=AB ~A ~B X=~A↔~B
F F F
F V V
V F V
V V F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivo OU…OU).


A B X=AB ~A ~B X=~A↔~B
F F F V V
F V V V F
V F V F V
V V F F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivo OU…OU).


A B X=AB ~A ~B ~X=~A↔~B
F F F V V V
F V V V F F
V F V F V F
V V F F F V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3- Disjunção Exclusiva (conectivo OU…OU).


A B X=AB ~A ~B ~X=~A↔~B U
F F F V V V
A B
F V V V F F
V F V F V F
V V F F F V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.3-Disjunção Exclusiva(conectivo OU…OU)


Exemplos:

X= Pedro OU vai ser gerente OU Advogado;


~X= OU Pedro não vai ser gerente OU vai ser Advogado;
~X= Pedro vai ser gerente SSS for Advogado.
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.4- Condicional.

X=A→B =~AB
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.4- Condicional. De Morgan


X=A→B =~AB;
~X=~(A→B) = ~(~AB)
~X= ~(~A)~B = A˄~B
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.4- Condicional.
A B X=A→B ~B ~X=A~B
F F
F V
V F
V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.4- Condicional.
A B X=A→B ~B ~X=A~B
F F V
F V V
V F F
V V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.4- Condicional.
A B X=A→B ~B ~X=A~B
F F V V
F V V F
V F F V
V V V F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.4- Condicional.
A B X=A→B ~B ~X=A~B
F F V V F
F V V F F
V F F V V
V V V F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.4- Condicional.
Ex.:
X= SE Pedro nasceu nos EUA, ENTÃO é Norte-
Americano (situação ordinária);
~X= Pedro nasceu nos EUA E não é Norte-Americano
(filho de embaixador de outro pais?);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.

X=A↔B =(~A~B)(AB);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.
De Morgan
X=A↔B =(~A~B)(AB);
~X=~(A↔B)
=~[(~A~B)(AB)]=~(~A~B)~(AB);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.

X=A↔B =(~A~B)(AB);
De Morgan
~X=~(A↔B)
=~[(~A~B)(AB)]=~(~A~B)~(AB);
~X=[~(~A)~(~B)][~A~B]
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.

X=A↔B =(~A~B)(AB); Distributiva


~X=~(A↔B)
=~[(~A~B)(AB)]=~(~A~B)~(AB);
~X=[~(~A)~(~B)][~A~B]=(A~A)(A~B)(~B
A)(~BB);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.
X=A↔B =(~A~B)(AB);
~X=~(A↔B)
=~[(~A~B)(AB)]=~(~A~B)~(AB);
~X=[~(~A)~(~B)][~A~B]=(A~A)(A~B)(~B
A)(~BB) (Elemento neutro);
~X=(A~B)(~AB) = AB (OU exclusivo);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.
A B X=A↔B ~X=A∨B
F F
F V
V F
V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.
A B X=A↔B ~X=AB
F F V
F V F
V F F
V V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.
A B X=A↔B ~X=AB
F F V F
F V F V
V F F V
V V V F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.

4.5- Bicondicional.

Ex.:

X = Um casal é apaixonado SSS fazem tudo juntos;


~X = OU o casal é apaixonado OU fazem tudo juntos;
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
1-Def.: são operadores lógicos que operam
sentenças abertas, transformando-as em
proposições. Exemplo:
a) “luzes acesas” ➔ “TODAS as luzes estão
acesas”
b) “frutas maduras” ➔ “HÁ PELO MENOS UMA
fruta madura”
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS

2- Tipos de Quantificadores:

2.1- Universais

2.1.1- positivo ou afirmativo: TODO (V);


2.1.2- negativo: NENHUM (~ V).
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
2- Tipos de Quantificadores:

2.1- Universais

Exemplos:
Vx: P(x) ➔ P(x) é verdadeiro para TODO X;
~Vx: P(x) ➔ NENHUM P(x) é verdadeiro para
qualquer X;
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
2- Tipos de Quantificadores:

2.2- Existenciais

2.2.1- positivos: ∃ - existe pelo menos um;


∃| - existe exatamente um;
2.2.2- negativos: ∄ - não existe.
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
2- Tipos de Quantificadores:

2.3- Exemplos:

∃ x : P(x) ➔ há, pelo menos, um x para o qual P(x)


é verdadeiro;
∄ x : P(x) ➔ não existe nenhum x para o qual P(x)
seja verdadeiro;
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
3- Equivalências

a) V A = B ≡ ~V A = ~B : todas as luzes estão


acesas ≡ nenhuma luz está apagada;
b) ~V A = B ≡ V A = ~B : nenhuma porta está aberta
≡ todas as portas estão fechadas.
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
4- Negação

a) V A = B , ∃ A = ~B : todas as luzes estão acesas


≡ alguma luz está apagada;
b) ~V A = B , ∃ A = B : nenhuma porta está aberta
≡ alguma porta está aberta.
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
5- Implicação

V A=B ≡ A→B

Ex.: “todas as crianças são espertas” = “se é


criança, então é esperta”.
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
6- Redundância

a) ∃ A = B ≡ ∃ B = A

A=B A⊂B
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
6- Redundância
A∩B=∅

b) a)~V A=B ≡ ~V B=A;

A≠B
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
7- Falsas Equivalências

a) V A=B ≡ V B=A (???);

A∈B, B∉A
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
7- Falsas Equivalências

b) ∃ A = ~B ≡ ∃ B = ~A (???);

A∉B
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
AXIOMAS a) A=F se A≠V ; A=V se A≠F

b) Se A=F, então ~A=V ; Se A=V, então ~A=F

c) F ˄ F = F ; V ∨ V = V

d) V ˄ V = V ; F ∨ F = F

e) V ˄ F = F ˄ V = F ; F ∨ V = V ∨ F = V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS Propriedade E OU
Identidade V ˄ A = A† F ∨ A = A†
Nulo F ˄ A = F† V ∨ A = V†
Idempotente A˄A=A A∨A=A

† - Também chamado de Axiomas. Comutativa A˄B=B˄A A∨B=B∨A


Associativa (A ˄ B)˄C=A ˄(B˄ C) (A∨B)∨C=A∨(B∨C)
Distributiva (A∨B)˄C=(A˄C)∨(B˄C)
Absorção (1) (A∨B)˄A=A A∨(A˄B)=A
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS
Propriedade E OU

Involução ~(~A) = A

Inverso ou A ˄ ~A = F A ∨ ~A = V
complemento

Absorção (1) (A∨B)˄A=A A∨(A˄B)=A


RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS Propriedade E OU
Absorção (2) A˄(~A∨B)=A˄B A∨(~A˄B)=A∨B
Adjacência (A∨B)˄(A∨~B)=A (A˄B)∨(A˄~B)=A
Lógica (3)

Consenso (4) (A˄B)∨(A˄~C)∨(B˄C)=( (A∨B)˄(~A∨C)˄(B∨C)=


A˄B)∨(A˄~C) (A∨B)˄(~A∨C)
De Morgan (5) ~(A˄B˄...˄Z) = ~(A∨B∨...∨Z)=
~A∨~B∨...∨~Z ~A˄~B˄...˄~Z
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS (demonstração)
Propriedade E OU
(1)Absorção A˄(A∨B)=A A∨(A˄B)=A
(A∨F)˄(A∨B)= (A˄V)∨(A˄B)=
(A˄A)∨(A˄F)∨(A˄B)∨(F˄B)= A˄(V∨B)=
A∨F∨(A˄B)∨F=A∨(A˄B) = A A˄V=A
(2)Absorção A˄(~A∨B)=A˄B A∨(~A˄B)=A∨B
(A˄~A)∨(A˄B)= (A∨~A)˄(A∨B)=
F∨(A˄B)= A˄B V˄(A∨B)=A∨B
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS (demonstração)
Propriedade E OU
Adjacência (A∨B)˄(A∨~B)=A (A˄B)∨(A˄~B)=
Lógica (3) (A˄A)∨(A˄B)∨(A˄~B)∨(B˄~B)= A˄(B∨~B)=A˄V = A
A∨(A˄B)∨(A˄~B)∨F=
A∨A˄(B∨~B)=A∨A˄V= A

Consenso(4) (A˄B)∨(A˄~C)∨(B˄C)=(A˄B)∨(A˄~C) (A∨B)˄(~A∨C)˄(B∨C)=(A∨B)˄(~A∨C)


(A˄B)∨(A˄~C)∨(B˄C)˄(A∨~A)= (A∨B)˄(~A∨C)˄[(B∨C)∨(A˄~A)]=
(A˄B)∨(~A˄C)∨(B˄C˄A)∨(B˄C˄~A)= (A∨B)˄(~A∨C)˄(B∨C∨A)˄(B∨C∨~A)=
(A˄B)∨(A˄B˄C)∨(~A˄C)∨(~A˄B˄C)= (A∨B)˄(A∨B∨C)˄(~A∨C)˄(~A∨B∨C)=
(A˄B)˄(V∨C)∨(~A˄C)˄(V∨B)= [(A∨B)∨(F˄C)]˄[(~A∨C)∨(F˄B)]=
(A˄B)˄V∨(~A˄C)˄V=(A˄B)∨(~A˄C) (A∨B)˄(~A∨C)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS (demonstração)

(5) Teorema de De Morgan

1) Se ~(X∨Y)=~X˄~Y, então:

a) (X∨Y)˄(~X˄~Y)=F. Assim, (X∨Y)˄(~X˄~Y)=


X˄(~X)˄(~Y)∨(~X)˄(~Y)˄(Y)=
F˄X∨F˄Y=F˄F=F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS (demonstração)

(5) Teorema de De Morgan

1) Se ~(X∨Y)=~X˄~Y, então:

b) (X∨Y)∨(~X˄~Y)=V. Assim, (X∨Y)∨(~X˄~Y)=


X˄(Y∨~Y)∨Y˄(X∨~X)∨(~X˄~Y)=
(X˄Y)∨ (X˄~Y) ∨(X˄Y) ∨(~X˄Y) ∨(~X˄~Y)=
(X∨~X)˄(Y∨~Y)=V˄V=V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS (demonstração)

(5) Teorema de De Morgan

2) Se ~(X˄Y)=(~X∨~Y), então:

a) (~X∨~Y)˄(X˄Y)=F. Assim, (~X∨~Y)˄(X˄Y)=


(~X˄X)˄Y∨(~Y˄Y)˄X=F˄Y∨F˄X=
F∨F=F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS (demonstração)

(5) Teorema de De Morgan

2) Se ~(X˄Y)=(~X∨~Y), então:

b) (~X∨~Y)∨(X˄Y)=V. Assim, (~X∨~Y)∨(X˄Y)=


(~X)˄(Y˄~Y)∨(~Y)˄(X˄~X)∨(X˄Y)=
(~X˄Y)∨(~X˄~Y)∨(X˄~Y)∨(~X˄~Y)∨(X˄Y)=(X∨~X)˄(Y∨~Y)=
V∨V=V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS
LÓGICAS

1- Tabela Verdade (adição de mintermos);


2- Álgebra Booleana (uso de teoremas);
3- Mapas de Karnaugh (geralmente mais
empregado);
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
1- Tabela Verdade (Exemplo): F F F F (0)
7 F F V F (1)
X =∑ m i ( A , B , C) F V F V (2)
i=0
F V V F (3)
V F F V (4)
V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
1- Tabela Verdade (Exemplo): F F F F (0)
7 F F V F (1)
X =∑ m i ( A , B , C) F V F V (2)
i=0
X=m2(A,B,C)+m4(A,B,C)+m5(A,B,C)+m7(A,B,C) F V V F (3)
V F F V (4)
V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
1- Tabela Verdade (Exemplo): F F F F (0)
7 F F V F (1)
X =∑ m i ( A , B , C) F V F V (2)
i=0
X=m2(A,B,C)+m4(A,B,C)+m5(A,B,C)+m7(A,B,C) F V V F (3)
V F F V (4)
X=(~A˄B˄~C)∨(A˄~B˄~C) V F V V(5)
∨(A˄~B˄C)∨(A˄B˄C) V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
V F F V (4)
V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) V F F V (4)
V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) V F F V (4)
X=[(~A˄B)∨(A˄~B)]˄(~C)∨(A˄C)∨(B∨~B) (distributiva) V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) V F F V (4)
X=[(~A˄B)∨(A˄~B)]˄(~C)∨(A˄C)∨(B∨~B) (distributiva) V F V V(5)
X=(A∨B)˄(~C)∨(A˄C)∨V (inverso ou complemento)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
X=[(~A˄B)∨(A˄~B)]˄(~C)∨(A˄C)∨(B∨~B) (distributiva) V F F V (4)
X=(A∨B)˄(~C)∨(A˄C)∨V (inverso ou complemento) V F V V(5)
X=(A∨B)˄(~C)∨(A˄C)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh

a) Criado por Edward Weitch em 1952 e aperfeiçoado pelo Engenheiro de


Telecomunicações Maurice Karnaugh;
b) É baseado na propriedade A˄(B∨~B)=A;
c) Os mintermos são distantes unitários (01 e 11 são distantes unitários; 01 e 10
não são);
d) No mapa de Karnaugh não existe fronteiras entre as regiões das variáveis
lógicas.
e) Largamente empregado para dfeterminação e simplificações de expressões
lógicas.
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh
~A˄~B ~A˄B A˄B A˄~B
~C˄~D 0 4 12 8
~A˄~B ~A˄B A˄B A˄~B
~C˄D 1 5 13 9

~C 0 2 6 4
C˄D 3 7 15 11

C 1 3 7 5
C˄~D 2 6 14 10

Mapa com 3 variáveis Mapa com 4 variáveis


RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo): Região onde ~A é cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo):


Região onde A é cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo): Região onde B é cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo): Região onde ~B é cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo): Região onde ~C é cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo): Região onde C é cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo): Região onde D é cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo): Região onde ~ D é cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo):


Fronteira com ~ DB cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo):

Fronteira com ~ D cte

~A˄~B ~A˄B A˄B A˄~B


~C˄~D 0 4 12 8

~C˄D 1 5 13 9

C˄D 3 7 15 11

C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C 0 2 6 4 V F F V (4)
C 1 3 7 5 V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
A˄(~B)˄(C∨~C) F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
A˄(~B)˄(C∨~C) F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
A˄(B∨~B)˄C V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)

(~A˄B)˄~C
A˄(~B)˄(C∨~C) F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
A˄(B∨~B)˄C V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)

(~A˄B)˄~C
A˄(~B)˄(C∨~C) F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
A˄(B∨~B)˄C A˄(C∨~B)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
X=(~A˄B˄~C)∨A˄(C∨~B)≡(A∨B)˄(~C)∨(A˄C) V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo):

Simplificar a expressão X= (A∨B)˄(~C)∨(A˄C)


=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C)

~A˄~B ~A˄B A˄B A˄~B


~C 0 2 6 4

C 1 3 7 5
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo):


~A˄B˄~C A˄~B˄~C
Simplificar a expressão X= (A∨B)˄(~C)∨(A˄C)
=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) A˄~B˄C

~A˄~B ~A˄B A˄B A˄~B


~C F 0
V 2
F 6
V 4

C F 1
F 3
V 7
V 5

A˄B˄C
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

3- Mapa de Karnaugh (Exemplo):


~A˄B˄~C
Simplificar a expressão X= (A∨B)˄(~C)∨(A˄C)
=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C)

X=(~A˄B˄~C)∨A˄(C∨~B) ~A˄~B ~A˄B A˄B A˄~B


A˄~B
~C F 0
V 2
F 6
V 4

C F 1
F 3
V 7
V 5

A˄C
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C) F
F
F
F
V
V
V
V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C) F F
F F
F V
F V
V F
V F
V V
V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C) F F F
F F V
F V F
F V V
V F F
V F V
V V F
V V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C) F F F F
F F V F
F V F V
F V V V
V F F V
V F V V
V V F F
V V V F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C) F F F F V
F F V F F
F V F V V
F V V V F
V F F V V
V F V V F
V V F F V
V V V F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C) F F F F V F
F F V F F F
F V F V V V
F V V V F F
V F F V V V
V F V V F F
V V F F V F
V V V F F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C) F F F F V F F
F F V F F F F
F V F V V V F
F V V V F F F
V F F V V V F
V F V V F F V
V V F F V F F
V V V F F F V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS

A B C A∨B ~C (A∨B)˄~C A˄C X=(A∨B)˄~C


3- Mapa de Karnaugh (Exemplo): ∨(A˄C)

X= (A∨B)˄(~C)∨(A˄C) F F F F V F F F
F F V F F F F F
F V F V V V F V
F V V V F F F F
V F F V V V F V
V F V V F F V V
V V F F V F F F
V V V F F F V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F
F
F
F
V
V
V
V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F
F F
F V
F V
V F
V F
V V
V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F
F F V
F V F
F V V
V F F
V F V
V V F
V V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V
F F V V
F V F V
F V V V
V F F F
V F V F
V V F F
V V V F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V
F F V V V
F V F V F
F V V V F
V F F F V
V F V F V
V V F F F
V V V F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V
F F V V V F
F V F V F V
F V V V F F
V F F F V V
V F V F V F
V V F F F V
V V V F F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V F
F F V V V F F
F V F V F V V
F V V V F F F
V F F F V V F
V F V F V F F
V V F F F V F
V V V F F F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V F V
F F V V V F F V
F V F V F V V F
F V V V F F F V
V F F F V V F V
V F V F V F F V
V V F F F V F F
V V V F F F F V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V F V F
F F V V V F F V F
F V F V F V V F F
F V V V F F F V F
V F F F V V F V V
V F V F V F F V V
V V F F F V F F F
V V V F F F F V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V F V F F
F F V V V F F V F F
F V F V F V V F F V
F V V V F F F V F F
V F F F V V F V V V
V F V F V F F V V V
V V F F F V F F F F
V V V F F F F V V V
FIM

Você também pode gostar