A maior rede de estudos do Brasil

Grátis
9 pág.
2 - Tabela Verdade

Pré-visualização | Página 1 de 1

Lógica Simbólica
aula 2
Tabela Verdade
Prof. José Roberto Bonome
Isso significa que há uma probabilidade de verdade, quando os dois enunciados forem verdadeiros.
		p	q	p^q
	1	V	V	V
	2	V	F	F
	3	F	V	F
	4	F	F	F
Tabela Verdade serve para que se tenha a probabilidade de um enunciado ser verdadeiro ou falso.
EX.: Chove e as ruas da cidade ficam alagadas
Simboliza-se assim: p – Chove; q - as ruas da cidade ficam alagadas. Conectivo “E” simboliza-se assim: ^
Simbolização do enunciado composto: p^q
Chove ou as ruas da cidade ficam alagadas
		p	q	p v q
	1	V	V	V
	2	V	F	V
	3	F	V	V
	4	F	F	F
Simbolização – p v q
Ou chove ou as ruas da cidade ficam alagadas
		p	q	pwq
	1	V	V	F
	2	V	F	V
	3	F	V	V
	4	F	F	F
Simbolização – p w q Também pode ser p v q
Se chove então as ruas da cidade ficam alagadas
		p	q	pq
	1	V	V	V
	2	V	F	F
	3	F	V	V
	4	F	F	V
Simbolização – p  q
Somente se chove então as ruas da cidade ficam alagadas
		p	q	pq
	1	V	V	V
	2	V	F	F
	3	F	V	F
	4	F	F	V
Simbolização - p  q
Aqui está o gabarito de todas as conexões, inclusive a negação dos enunciados “p” “q”
		p 	q	p^q	pvq	pvq	pq	pq	~p	~q
	1	V	V	V	V	F	V	V	F	F
	2	V	F	F	V	V	F	F	F	V
	3	F	V	F	V	V	V	F	V	F
	4	F	F	F	F	F	V	V	V	V
Acompanhe esse exemplo:
Maria estuda lógica ou Eliana estuda hermenêutica, mas Karla não estuda lógica.
p = Maria estuda lógica
q = Eliana estuda hermenêutica
r = Karla estuda lógica
Simbolização: pvq^~r
	p	q	r	~r	pvq	pvq^~r
	V	V	V	F	V 	F
	V	V	F	V	V	V
	V	F	V	F	V	F
	V	F	F	V	V	V
	F	V	V	F	V	F
	F	V	F	V	V	V
	F	F	V	F	F	F
	F	F	F	V	F	F
Note que na convenção, os enunciados devem ser “sempre” simbolizados na afirmativa.
Até a próxima aula. Abraços!

Crie agora seu perfil grátis para visualizar sem restrições.