5. Tabela da Verdade Trata-se de uma tabela mediante a qual so analisados os valores lgicos de proposies compostas.

Da mesma forma que as proposies simples podem ser verdadeiras ou falsas, as proposies compostas podem tambm ser verdadeiras ou falsas. O valor-verdade de uma expresso que representa uma proposio composta depende dos valores-verdade das subexpresses que a compem e tambm a forma pela qual elas foram compostas. As tabelas-verdade explicitam a relao entre os valores-verdade de uma expresso composta em termos dos valores-verdade das subexpresses e variveis que a compem. 5.1 Nmero de Linhas da Tabela da Verdade O nmero de linhas da tabela verdade dado por: 2 +1 Onde: NP o nmero de proposies simples( letras) que h nas sentenas, sem duplicidade. Exemplos: 1) p, q 2) p, q , r 3) p, q, r,. x 4) p, q, r , x, y 22 = 4 23 = 8 24 = 16 25 = 32
np

5.2 Nmero de Colunas da Tabela da verdade Sejam p, q , r trs proposies simples, ento o nmero de colunas da tabela da verdade da proposio composta ( p v ~r ) ( q ^ ~r ) ser igual somatria entre as proposies simples, compostas, mais a concluso. Exemplos: 1 proposio simples p 2 proposio simples q 3 proposio simples r 4 proposio composta ~r 5 proposio composta ( p v ~r) 6 proposio composta ( q ^ ~r )

7 Concluso: ( p v ~r ) ( q ^ ~r )

5.3 Construo da Tabela da Verdade 1 determina-se o nmero de linhas da tabela da verdade; 2 determina-se o nmero de colunas da tabela da verdade; 3 Observa-se a procedncia entre os conectivos, isto , determina-se a forma das proposies que ocorrem no problema. 4 aplicam- se as definies das proposies lgicas que o problema exigir. Importante: A tabela da verdade deve ser construda de acordo com a ordem das proposies. 5.4 Valores lgicos ( V ou F ) da Tabela da Verdade para 4 Proposies. Nmeros de Linhas Valor lgico da proposio

01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16

X1 V V V V V V V V F F F F F F F F

X2 V V V V F F F F V V V V F F F F

X3 V V F F V V F F V V F F V V F F

X4 V F V F V F V F V F V F V F V F

Para trs proposies cortaremos oito linhas da tabela da verdade, substituiremos a coluna X3 pela X4 , 4 V da coluna X1 por 4F, 2 V da coluna X2 por 2 F e vice-versa. Exemplo: Nmeros de Linhas X1 V V V V F F F F Valor lgico da proposio X2 V V F F V V F F X3 V F V F V F V F

01 02 03 04 05 06 07 08

5.5 Tabela da Verdade de Valoraes Distintas A valorao distinta dada por: 2NL Onde: NL o nmero de linhas Exemplo: Para duas proposies Valorao distinta: 2NL Exemplo: Proposies p V V F F q V F V F v1 V V V V v2 V V V F v3 V V F V v4 V V F F v5 V F V V v6 V F V F Valoraes Distintas v7 V F F V v8 V F F F v9 V F F F v10 F V V F v11 F V F V v12 F V F F v13 F F V V v14 F F V F v15 F F F V
V16

NL = 2 VD: 2

NL = 4 VD: 16

F F F F

A valorao V1 corresponde proposio: p ~p; A valorao V2 corresponde proposio: p q; A valorao V3 corresponde proposio: p ~q;

A valorao V4 corresponde proposio: p; A valorao V5 corresponde proposio: p q; A valorao V6 corresponde proposio: q; A valorao V7 corresponde proposio: p q; A valorao V8 corresponde proposio: p q; A valorao V9 corresponde proposio: ~(p q); A valorao V10 corresponde proposio: p q; A valorao V11 corresponde proposio: ~q; A valorao V12 corresponde proposio: p ~q; A valorao V13 corresponde proposio: ~p; A valorao V14 corresponde proposio: ~p q; A valorao V15 corresponde proposio: ~(p q); A valorao V16 corresponde proposio: p ~p; Exerccios: 1) Construa a tabela da verdade da proposio P ( p,q ) = ~( p v ~q ) 1 passo: Definir o nmero de linhas da tabela NL = 2
NP

+1

NL= 2 + 1 p proposio simples q proposio simples ~q

NL = 4 + 1

NL = 5

2 passo: 1 coluna: 2 coluna: 3 coluna: 4 coluna: 5 coluna:

definir o numero de colunas.

p v ~q proposio composta concluso ~( p v ~q ) 1 passo: O incio da tabela verdade sempre o mesmo p V V F F q V F V f

2 passo: faremos a negao ~q p V V F F Q V F V F ~q F V F V

3 passo: faremos a proposio composta que est entre parnteses. p V V F V q V F V F ~q F V F V p v ~q V V F V

4 passo: faremos a concluso p V V F V q V F V F ~q F V F V p v ~q V V F V ~( p v ~q ) F F V F

Observe que a 4 coluna negao de toda 3 coluna.