Académique Documents
Professionnel Documents
Culture Documents
4 d) 5x7-255x6 (5) <3) f) v2<1 9) -(-4)27 h) 317 TIT. PROPOSICAO COMPOSTA. CONECTIVOS A partir de proposicées dadas podemos construir novas proposicdes mediante o emprego de dois simbolos légicos chamados conectivos' a) Conectivo a (I8-se: e); b) Conectivo v (Ié-se: ou). Conectivo » Golocando 0 conectivo » entre duas proposicées p e q, obtemos uma nova proposigiio, p»q, denominada conjungéo das sentencas p e 9. Exemplos: a) p: 2>0 q24l paqg:2>00e241 a) p: -2<-1 g(2P
1
pyq:5>005>1
b) p 3-3
q3<3
pyq:3s3
©) pi 106 um nimero primo.
4g 10 é um némero composto.
pyq: 106 um ntmero primo ou um nimero composto
iid) pitt<
4:2 <(-3)'
pyq:3' <2 oud <(-3)°
Vamos postular um critério para decidir 0 valor légico (V ou F) de uma
disjuncio a partir dos valores légicos (conhecidos) das proposicées p ¢ 4.
A disjungio pvq 6 verdadeira se ao menos uma das proposicées p ou q for
verdadeira: se p q sto ambas falsas, entto pvq é falsa.
Este critério esté resumido na tabeia abaixo, denominada tabela-
verdade da proposicdéo pv
P q_| eva
v [viv
v [ety
Fo[vfiyv
F Fo. OF
Exercicio:
Classificor em verdadeira ou falsa cada uma das seguintes proposicées
compostas:
a) 3>1e4>2
b) 3> 100341
¢) 2/4 0u2|(4+1)
d) 3(5+2)=3.5+3-23|7
©) 5 <3 ousiit
f) (-t)' =-1e 2% <(-2y
g) VI6 = 6 ou mae(4,7)=2IV. CONDICIONAIS
Ainda a partir de proposicdes dadas podemos construir novas
jes através do emprego de outros dois simbolos légicos chamados
condicionais: O condicional se ... entdo ... (simbolo: +) e 0 condicional ... se e
somente se... (simbolo: «).
Condicional >
Colocando 0 condicional > entre duas proposigdes p e q, obtemos uma
nova proposicto, pg, que se lé: *p entiio q", “p € condigdo necesséria para q",
“q é condictio suficiente para p’
Exemplos:
1) pi2l4
gi 4lt2
p>gi2|44|12
2) pil0=5-2
933/10
p>g:10=5-233]10
3) pi5<2
gi2eZ
Pg:5<232e2
4) p:7<3
9:3=6-2
P>gi75393=6-2
Vamos postular um critério de classificagdo para a proposicéo pg
baseado nos valores légicos de p e q:
© condicional pg € falso somente quando p é verdadeiro e q € falsa: caso
contrério, p> 6 verdadeiro.Este critério estd resumido na tabela abaixo, denominada tabela-
verdade da proposictio p > g
aln|<|