Exemplos de Argumentos Válidos com Técnicas de Lógica

Prévia do material em texto

Exemplos	para	produção	do	PIM	
	
Preparei	esse	arquivo	com	alguns	esboços	de	ideias	para	a	construção	do	PIM.	
Apresento	dois	exemplos	de	Argumentos	Válidos	bem	como	sua	demonstração	
usando	duas	técnicas:	tabela	de	verdade	e	método	direto.	
Tentem	inserir	a	proposta	de	Lógica	no	contexto	do	trabalho	para	o	texto	ficar	
mais	homogêneo.	
No	livro	Introdução	à	Lógica	(nas	páginas	34	e	35)	que	está	disponível	no	link	do	
Google	Drive	que	compartilhei	com	vocês,	existem	mais	exemplos	que	podem	
ajudá-los	para	construir	o	de	vocês.	
	
•	Com	base	no	conteúdo	da	disciplina	de	Estatística,	fazer	comparativo	com	
números	e	gráficos,	bem	como	apresentar	tamanho	de	amostras,	tabelas	e	
cálculos	estatísticos	sobre	a	participação	no	mercado	de	trabalho	dos	
profissionais	e	prevendo	tendências	para	cara	área	de	seus	clientes,	além	dos	
controles	internos	do	escritório	para	serem	elaboradas	estratégias	de	
crescimento.	
	
•	Com	base	no	conteúdo	da	disciplina	de	Lógica,	criar	argumentações	válidas	
descrevendo	suas	premissas	e	conclusão	utilizando	tabelas	verdade	ou	o	método	
dedutivo	para	demonstrar	sua	validade,	a	partir	dos	dados	obtidos	no	item	
anterior,	sobre	a	participação	no	mercado	de	trabalho	dos	profissionais;	
	
Exemplo	1:	Seja	o	argumento:	
1.	Se	a	impressora	HP	funciona,	então	ela	é	a	ideal.	
2.	A	impressora	HP	funciona.	
3.	Logo,	a	impressora	HP	é	a	ideal.	
Podemos	escrever	o	argumento	acima	da	forma	simbólica:	
1.	𝑎 → 𝑏	
2.	𝑎	
3.	∴ 𝑏	
O	argumento	acima	é	válido,	pois	sua	tabela	verdade	prova	que	é	uma	implicação	
tautológica.	
𝑎	 𝑏	 𝑎 → 𝑏	 𝑎 → 𝑏 ∧ 𝑎	 𝑏	
𝐹	 𝐹	 𝑉	 𝐹	 𝐹	
𝐹	 𝑉	 𝑉	 𝐹	 𝑉	
𝑉	 𝐹	 𝐹	 𝐹	 𝐹	
𝑉	 𝑉	 𝑉	 𝑉	 𝑉	
	
	
	
	
	
	
	
	
	
	
Exemplo	2:	Se	não	existem	SUBSÍDIOS	do	governo	para	as	escolas,	então	há	
CONTROLE	do	governo	sobre	as	escolas.	Se	há	CONTROLE,	não	há	DECADÊNCIA	
nas	escolas.	Ou	há	DECADÊNCIA	ou	FLORESCIMENTO.	Constata-se	que	não	
existe	FLORESCIMENTO	das	escolas.	Logo,	há	SUBSÍDIOS	para	as	escolas.	
Podemos	escrever	o	argumento	acima	da	forma	simbólica:	
1.		~𝑠 → 𝑐	
2.	𝑐 → ~𝑑	
3.	𝑑 ∨ 𝑓 
4.	~𝑓	
5.	∴ 𝑠	
	
Usando	a	Prova	direta	podemos	provar	𝑠	dadas	as	premissas:	
	
	
	
	
	
	
	
	
	
	
	
	
	
	
	
Observação:	O	argumento	demonstrado	acima	é,	para	a	Lógica	Matemática,	um	
argumento	válido,	mas,	no	contexto	social,	nem	todas	as	afirmações	são	
verdadeiras.	
	
	
1.		~𝑠 → 𝑐	
	
p	
2.	𝑐 → ~𝑑	
	
p	
3.	𝑑 ∨ 𝑓 
	
p	
4.	~𝑓	
	
p	
5. 𝑑	 SD,	3	e	4	
6. ~𝑐	 MT,	2	e	5	
7. ~(~𝑠)	 MT,	1	e	6	
8. 𝑠	 DN,	7