AVALIAO 01 DE LGICA PARA COMPUTAO Pode haver outras formas de resolver alguns dos exerccios, inclusive aqui eles

esto resumidos. 1a) C consequncia lgica de A^B. b) A consequncia lgica de (gama). c) V1 ^ V2 ^ V3 -> (V1 v V2) ^ V3 tautologia. 2- A^B s tautologia quando ambos A e B so tautologias, ou seja, semente se A e B so sempre verdade (para todas as linhas da tabela verdade). Se A for falso em uma linha da tabela verdade, A^B ser contingncia e, portanto, A^B no ser mais tautologia. 3-

4- No, pois a sequncia s=(V, V, F) no satisfaz todas as frmulas.

5- Os teoremas que nunca podero ser utilizados para a construo de outros teoremas devido as fato de no possurem as letras E, T ou N so chamados de sentenas de gramtica (nestes teoremas no ocorre nenhum smbolo terminal). Eles se parecem com o jogo da vida. Teoremas: 1. E+T*N 2. E+T*7 3. N+N 6- Deve haver outras formas de fazer esta prova, mas pensei em uma tabela verdade, na qual A, B e C so determinadas frmulas tal que sempre que A verdade, C tambm precisa ser verdade e sempre que B for verdade C tambm deve ser verdade, assim, se vocs observarem a tabela, C consequncia lgica de A, de B, A^B, pois sempre que estas frmulas so verdade, C tambm . E A^b->C tautologia.