OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES

2
OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES As operações lógicas também são chamadas operações do calculo proporcional. São elas: Negação ( _ ` ) ou (~__ ) Seja p uma proposição. Denotaremos a proposição composta pelo modificador não por p `. Lê-se “não p”. Então V (p ) = 0 quando V (p ) = 1 e Quando V (p ` ) = 1, V(p) = 0 Tabela-verdade p p` 1` = 0 e 0 ` = 1 0 1 Ex: a) p: 1 + 4 = 5 V (p) = 1 p` : 1 + 4 5 V(p ` ) = 0 1 0 b) q: João é estudante V(q) =1 q` : João não é estudante V(q`) = 0 Conjunção A conjunção de duas preposições p e q é verdadeira quando V(p) = 1 e V(q) = 1 também. Representação: p . q Lê-se “p e q”. Tabela–verdade p q p.q Ex: a) p: sen π /4 = 2/2 V(p) = 1 0 0 0 q:cos 0 ° =1 V(q) = 1 portanto: V(p.q) = 1 0 1 0 b) r: cos 2 π = 1 V(r) = 1 1 0 0 s: 2 0 = 2 V(s) = 0 portanto: V(r.s) = 0 1 1 1 Disjunção inclusiva ou soma lógica (+) A Disjunção de duas proposições p e q é uma proposição falsa quando V(q) = 0 e V(p) = 0 também por outro lado, é verdadeira quando V(p) = 1 ou V(q) = 1 Representação: p+q Lê-se “p ou q” Tabela-verdade p q p+q Ex: a) p : π = 3,0 V(p) = 0 0 0 0 q : 9 – 3 = 6 V(q) = 1 portanto: V(p+q) = 1 0 1 1 b) p : 2 < 1 V(p) = 0 1 0 1 q : 2 < 2 V(q) = 0 portanto: V(p+q) = 0 1 1 1

Transcript of OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES

Page 1: OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES

OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES As operações lógicas também são chamadas operações do calculo proporcional. São elas:

• Negação ( _ ̀) ou (~__ ) Seja p uma proposição. Denotaremos a proposição composta pelo modificador

não por p`. Lê-se “não p”.

Então V (p’ ) = 0 quando V (p ) = 1 e Quando V (p )̀ = 1, V(p) = 0 Tabela-verdade p p ̀ 1` = 0 e 0̀ = 1

0 1 Ex: a) p: 1 + 4 = 5 V (p) = 1 p :̀ 1 + 4 ≠5 V(p` ) = 0 1 0 b) q: João é estudante V(q) =1 q :̀ João não é estudante V(q`) = 0 Conjunção A conjunção de duas preposições p e q é verdadeira quando V(p) = 1 e V(q) = 1 também. Representação: p . q Lê-se “p e q”. Tabela–verdade p q p.q Ex: a) p: sen π/4 = √2/2 V(p) = 1 0 0 0 q:cos 0° =1 V(q) = 1 portanto: V(p.q) = 1 0 1 0 b) r: cos 2π = 1 V(r) = 1 1 0 0 s: 20 = 2 V(s) = 0 portanto: V(r.s) = 0 1 1 1

Disjunção inclusiva ou soma lógica (+) A Disjunção de duas proposições p e q é uma proposição falsa quando V(q) = 0 e V(p) = 0 também por outro lado, é verdadeira quando V(p) = 1 ou V(q) = 1 Representação: p+q Lê-se “p ou q” Tabela-verdade p q p+q Ex: a) p : π = 3,0 V(p) = 0 0 0 0 q : 9 – 3 = 6 V(q) = 1 portanto: V(p+q) = 1 0 1 1 b) p : √2 < 1 V(p) = 0 1 0 1 q : 2 < √2 V(q) = 0 portanto: V(p+q) = 0 1 1 1

Page 2: OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES

Disjunção exclusiva (⊕) A Disjunção exclusiva de duas proposições p e q é uma proposição verdadeira somente quando V(p) ≠ V(q) e falsa quando V(p) = V(q) .Representação : p ⊕ qLê-se p ou q mas não ambas. p q p⊕q Ex: a) p : π = 3,0 V(p) = 0 0 0 0 q : 9 – 3 = 6 V(q) = 1 portanto: V(p+q) = 1 0 1 1 b) p : √2 < 1 V(p) = 0 1 0 1 q : 2 < √2 V(q) = 0 portanto: V(p+q) = 0 1 1 0

Condicional (→) A condicional de duas proposições p e q uma proposição falsa quando V(p) = 1 e V(q) = 0 (nessa ordem) e verdadeira nos demais casos Representação : p → q . Lê-se “se p então q” onde p é antecedente e q é a conseqüente. Tabela-verdade p q p→q Ex: a) p: tg π/4 = 1 V(p) = 1 0 0 1 q : sen 0° = 0 V(q) = 1 portanto: V(p→q) = 1 0 1 1 b) p: cos π/4 = √2/2 V(p) = 1 1 0 0 q: tg π/4 = 0 V (q) = 0 portanto: V(p→q) = 0 1 1 1

Bi - condicionais (↔) O Bi - condicional de duas proposições é verdadeira quando V(p) = V(q) e falsa quando V(p) ≠ V(q). Representação: p ↔ q, lê-se “p se e somente se q”. p q p ↔ q Ex: a) p: √2 é um número irracional V(p) = 1 0 0 1 q: √2 > 1 portanto: V (p ↔ q) = 1 0 1 0 b) p: √3 > 2 V(p) = 0 1 0 0 q: √3 > 1 V(q) = 1 portanto: V (p ↔ q) = 0 1 1 1

Ordem de Precedência:

` . + → ↔