Buscar

Lógica proposicional

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você viu 3, do total de 3 páginas

Prévia do material em texto

Vai correr na praia ( N ) Não é uma proposição
Esta sala é muito pequena ( F )
Eu falo Carioca ( F )
Evidência – O que é certo.
ARGUMENTO: É um conjunto de enunciados em que os primeiros são os PREMISSAS e o ultimo é a CONCLUSÃO.
Ex:
- Todos os homens são mortais ( V )
- Sócrates é homem ( V )
- Logo, Sócrates é mortal. ( V )
É um argumento válido
- Todos os metais se dilatam com o calor ( F )
- Todos os meses do ano há pelo menos quatro domingos ( V )
- Logo, a UNESA é uma boa Universidade. ( V )
Não é um argumento válido
Para ser um argumento válido todas as premissas tem que ser verdadeiro e todos os argumentos tem que fazer sentido.
 ___________p____________ _____q_____
- Se eu ganhar sozinho na Sena, fico milionário
 ________p__________
- Ganhei sozinho na Sena
 ___q____
- Logo, fiquei milionário.
- Se p, q
- p
- Logo, q.
TABELA VERDADE
Denominamos tabela verdade de uma proposição, uma estrutura que descreve seus possíveis VALORES LÓGICOS a partir do valor lógico de seus componentes, ou seja, é um diagrama do qual constam todos os valores lógicos possíveis de uma proposição ou conjunto de proposições.
Ex:
Notação:
		P
	
	
	VVALOR LÓGICO( pPROPOSIÇÃO ) = { V L
		p
	q
	r
	V
	V
	V
	V
	V
	F
	V
	F
	V
	V
	F
	F
	F
	V
	V
	F
	V
	F
	F
	F
	V
	F
	F
	F
	n=3 => 2³ = 2x2x2 = 8
O nº de combinações possíveis
8 possibilidades
PROPRIEDADE DA TABELA VERDADE.
Obs: O número de linha (possibilidades) é igual a 2n
OPERAÇÕES LÓGICAS
NEGAÇÃO(unária) – Dada uma proposição p a negação “não p” é notada por ~p ou ¬p
TABELAS VERDADE:
		P
	~p
	V
	F
	F
	V
	Regra = V( ~p ) = ~(p)
V( ~) = ~V( p )
	Em linguagem de computador = NOT
Ex: x: A terra é redonda V(x) = V
~x: A terra não é redonda V(~x) = F

Outros materiais

Materiais relacionados

Perguntas relacionadas

Materiais recentes

Perguntas Recentes