Lógica proposicional

Por onde começar

O mapa mental Lógica para Computação é um ponto de partida para estudar proposições, conectivos e tabelas verdade. Ele apresenta conjunção, disjunção, negação, condicional e bicondicional. Ao percorrer o mapa, observe como cada conectivo aparece ao lado das proposições.

Depois, consulte Lógica de Programação. Esse mapa reúne tabelas verdade e conectivos com conceitos como contradição, contingência, equivalência lógica e tautologia. A comparação entre os dois mapas ajuda a localizar os mesmos termos em apresentações diferentes.

Conectivos e tabelas verdade

Para dar mais atenção aos operadores, o mapa Operadores Lógicos (Tabela verdade) apresenta expressões como “e”, “ou” e “se, então”. A página também lista a nota Tabela verdade, que pode ser consultada junto aos mapas.

Outra opção é Lógica da Computação, que apresenta proposições, valores verdadeiro ou falso e proposições compostas. Use os mapas lado a lado para identificar os conectivos e acompanhar como aparecem em cada recurso.

Outros formatos para estudar

O conjunto de flashcards Algebra Booleana traz perguntas sobre a história da álgebra booleana e a simbologia de operadores como AND e OR. É uma alternativa aos mapas para estudar por meio de perguntas e respostas.

A página também lista o quiz Evolução da Lógica. Ele pode complementar a consulta aos mapas: depois de percorrer os materiais, faça o quiz e retorne aos recursos que quiser examinar novamente.

Como o tema se encaixa na página

Lógica proposicional é uma seção da unidade Algoritmos e lógica de programação, na disciplina Informática e TIC. Os recursos desta seção oferecem diferentes maneiras de abordar proposições, operadores e tabelas verdade dentro dessa unidade.

Para continuar, experimente combinar um mapa mental com o quiz ou os flashcards da página.