Escolar Documentos
Profissional Documentos
Cultura Documentos
com - HP155816606138780
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
= Sentença
Proposição Simples
Composta
Determina o valor
lógico de um proposicão
n Verdadeiro
Número de linhas = 2
n: número de Tabela Valor Lógico
proposições
Verdade Falso
V: Verdadeiro
Valores
b0100 R7
F: Falso
6
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
Conjunção Sentença
Declarativa Ex: Brasília é a capital federal
Proposição
Composta
Disjunção Inclusiva Fechada
o
ceit
Conectivos com
Con
Disjunção Exclusiva Valor lógico
Verdadeiro ou UMA ou OUTRA
mutuamente exclusivas
Condicional
Falso únicas possibilidades
Proposição
Bicondicional
[1]
um verbo
Faz UMA declaração
Simples sobre um objeto
Ex: Renato é bom em matemática
Modificadores Po
de
Negação ser
Duas ou mais proposições
Composta simples conectadas
a1000
Ex: Renato é bom em matemática
ou é bom em português
7
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
Proposição
Conceitos [2]
Opostos
p ¬p p v ¬p F V F p r pvr
F V V V F F
F F F
V F V F V V
V F V
a1100 R3
V V V
8
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
Paradoxos Perguntas
Não podem ser julgado
com valores lógicos
Não são
Setença Aberta
Imperativas
Depende de valores variáveis
a1000 Ex: x + 1 = 8
9
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
Proposições
Compostas
v Negação
~ (p r) = ~p v ~r Conjuntiva Símbolo: ou
Representação: ou p
Lei de De Morgan
Nega tudo e inverte operação
p
~ (p v r) = ~p v ~r Negação
Disjuntiva
Modificadores
~ (p
v
r) = p ~r Negação p ¬p
Condicional NEGAÇÃO F V
RENEGA: Repete e Nega ... Então V F
eu estudo, eu cresço
Repete Nega
eu estudo e não eu cresço
Ex.: Maria foi à escola.
Simples
Negação : Maria NÃO foi à escola
v v Negação
~(p r)= (p ~r) v (r ~p) Bicondicional
b1000 R6
... Composta "Não é verdade que ..."
10
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
Proposições
v
Compostas Símbolo:
v
Representação: p r
v Negação
~ (p r) = ~p v ~r Conjuntiva
U
Lei de De Morgan
Interseção p r
Nega tudo e inverte operação
Conectivos
CONJUNÇÃO
Ex.: Eu quero o lápis E Você quer a caneta p r
Tabela Verdade
Nem leio nem escrevo v
=
p r p r Para ser V,
TODOS devem
Não leio e não escrevo F F F ser V
Equivalentes
Não leio, mas escrevo F V F
=
Não leio e escrevo
V F F
b2000 V V V
11
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
Proposições
Compostas Símbolo: v
Negação Representação: p v r
~ (p v r) = ~p v ~r
Disjuntiva
Lei de De Morgan
Nega tudo e inverte operação
Conectivos
b3100 R2
12
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
8. Lógica argumentativa - Conectivos - Disjunção Exclusiva (Ou ... Ou ...) RACIOCÍNIO LÓGICO
Símbolo: v
Ex.: OU Eu quero o lápis
Representação: p v r
OU Você quer a caneta
Conectivos Para ser V,
DISJUNÇÃO APENAS um
Tabela Verdade pode ser V
EXCLUSIVA p r pvr
F F F
F V V
V F V
V V F
b3200 R1
13
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
Conectivos
Condicional [1]
Se pfor V Está contido
obrigatoriamente r
será Vtambêm Inclusão
p r p→ r p⊂r
F F V
F V V r
V F F Vai se Ferrar = Ferrou!
p
V V V
b4100
14
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
10. Lógica argumentativa - Condicional - Se ... Então [2] Propriedades RACIOCÍNIO LÓGICO
Expressões equivalentes
Se p, r
Antecedente b
Suficiente Antecedente Antes do então
r, Se p
Quando p, r
p Basta que p ocorra
p implica r Condição para r ocorrer
Suficiente
p é condição suficiente para r Conectivos
r é condição necessária para p Se não acontecer,
p somente se r Condicional [2] nada pode ser afirmado
Todo r é p
15
Licensed to DANIELE VIEIRA DOS SANTOS - danyvip2@hotmail.com - HP155816606138780
Símbolo:
Ex.: Eu vou a festa
SE e SOMENTE SE Representação: p r
Você ficar em casa.
Conectivos
p e rsão proposições simples Bicondicional
Tabela Verdade
Se pfor V p r p r Igualdade
obrigatoriamente
r será Vtambêm F F V p= r
F V F
V F F
V V V
b4100 R3
16