# data[].attributes.body
1. Leitores de e-mail Se a mensagem é de “João” e o assunto é “Lógica”, então essa mensagem vai para a pasta “Importante”.
2. Rede de computadores Se o destinatário não confirmou o recebimento dos bits em n segundos, envie o pacote novamente.
3. Gestão de arquivos Se o tamanho do arquivo é maior do que o espaço disponível no disco, mostre a mensagem “espaço insuficiente em disco” e não salve o arquivo.

# data[].attributes.body
1. Se chover ou eu estiver com preguiça, não irei à praia.
2. Se eu não tirar 45 na última prova, serei reprovado e perderei a bolsa.
3. Maria só vai à festa se Joana for e Luciana não.
4. Não vou viajar para fora do país, mas vou conhecer o Rio de Janeiro ou São Paulo.

# data[].attributes.body
• A lógica é extensivamente utilizada em todas as áreas vinculadas aos computadores.
• Nossas tarefas diárias são como um algoritmo. – Algoritmo: Uma sequência que obedece uma determinada ordem, de um estado inicial, através de um período de tempo finito e que nesse período produzimos resultados esperados e bem definidos.
• A linguagem Prolog permite que computadores utilizem o raciocínio lógico.
• Na lógica simbólica e na lógica matemática, demonstrações podem ser auxiliadas por computador.
• Os computadores podem achar e analisar demonstrações, assim como trabalhar com demonstrações muito extensas.

# data[].attributes.body
• A Lógica é considerada uma ciência formal.
• Ela é o estudo formal sistemático dos princípios da inferência válida e do pensamento correto.
• Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser atingida.
• Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar.