Logica

Disponível somente no TrabalhosFeitos
  • Páginas : 10 (2490 palavras )
  • Download(s) : 0
  • Publicado : 27 de setembro de 2012
Ler documento completo
Amostra do texto
Lógica

Professor conteudista: Ricardo Holderegger

Sumário
Lógica
Unidade I

1 SISTEMAS DICOTÔMICOS ................................................................................................................................ 3
1.1 Proposições ................................................................................................................................................ 31.1.1 Proposições lógicas ...................................................................................................................................3
1.1.2 Símbolos da lógica matemática...........................................................................................................4
1.1.3 A negação.....................................................................................................................................................4

1.2 Interruptores ............................................................................................................................................. 5
2 OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÃO............................................................................................ 6
3 CONSTRUÇÃO DA TABELA-VERDADE......................................................................................................... 6
3.1 Exemplo de p ∧ q .................................................................................................................................... 8
3.2 Exemplo de p ∨ q.................................................................................................................................... 9
3.3 Exemplo de p → q .................................................................................................................................. 9
3.4 Exemplo de p ↔ q ............................................................................................................................... 10
3.5 Tautologia................................................................................................................................................. 11
3.6 Contradição ............................................................................................................................................. 11
3.7 Contingências........................................................................................................................................ 12
Unidade II

4 RELAÇÕES DE IMPLICAÇÃO E EQUIVALÊNCIA ..................................................................................... 13
4.1 Implicação lógica.................................................................................................................................. 13
4.2 Equivalência lógica.............................................................................................................................. 13
5 ARGUMENTO VÁLIDO .................................................................................................................................... 14
5.1 Definição .................................................................................................................................................. 14
5.2 Argumentoválido e inválido ........................................................................................................... 15
5.3 Argumento verdadeiro e falso ........................................................................................................ 15
6 TÉCNICAS DEDUTIVAS................................................................................................................................... 16
Unidade III

7 FLUXOGRAMAS ................................................................................................................................................ 17
7.1 Diagramação .......................................................................................................................................... 17
7.2 Programação estruturada...
tracking img