1 LÓGICA FORMAL

1.1 Conceito de Proposição

Denomina-se proposição a toda sentença, expressa em palavras ou símbolos, que exprima um juízo ao
qual se possa atribuir, dentro de certo contexto, somente um de dois valores lógicos possíveis: verdadeiro ou
falso.
Somente às sentenças declarativas pode-se atribuir valores de verdadeiro ou falso, o que ocorre
quando a sentença é, respectivamente, confirmada ou negada. De fato, não se pode atribuir um valor de
verdadeiro ou de falso às demais formas de sentenças como as interrogativas, as exclamativas e outras,
embora elas também expressem juízos. São exemplos de proposições as seguintes sentenças declarativas:

O número 6 é par.
O número 15 não é primo.
Todos os homens são mortais.
Nenhum porco espinho sabe ler.
Alguns canários não sabem cantar.
Se você estudar bastante, então aprenderá tudo.
Eu falo inglês e espanhol.
Míriam quer um saptinho novo ou uma boneca.

Não são proposições:

Qual é o seu nome? (Interrogativas)
Preste atenção ao sinal. (Imperativa)
Caramba!. (Exclamativa)

Sentenças podem ser: declarativas, interrogativas, imperativas e exclamativas, mas proposições somente são
declarativas.

https://www.youtube.com/watch?v=GlVa3RA9tKI

OBS: Não confundir sentença aberta com proposição aberta

https://www.youtube.com/watch?v=MJSopVvz3Ks

-Proposição Simples

Uma proposição é dita proposição simples ou proposição atômica quando não contém qualquer
outra proposição como sua componente. Isto significa que não é possível encontrar como parte de uma
proposição simples alguma outra proposição diferente dela. Não se pode subdividi-la em partes menores
tais que alguma delas seja uma nova proposição.

Exemplo: A sentença “Cínthia é irmã de Maurício” é uma proposição simples, pois não é possível identificar
como parte dela qualquer outra proposição diferente. Se tentarmos separá-la em duas ou mais partes
menores nenhuma delas será uma proposição nova.

-Proposição Composta

Uma proposição que contenha qualquer outra como sua parte componente é dita proposição
composta ou proposição molecular. Isto quer dizer que uma proposição é composta quando se pode extrair
como parte dela uma nova proposição.

Exemplo: A sentença “Cínthia é irmã de Maurício e de Júlio” é uma proposição composta, pois é possível
retirar-se dela duas outras proposições: “Cínthia é irmã de Maurício” e “Cínthia é irmã de Júlio”.
1.2 Proposição Lógica ou Fechadas
São valoradas por Valor Verdade ou Valor Lógico (V, se verdadeira; F, se falsa). Ou sentenças
Fechadas.

Exemplos:

"2 + 2 = 4"

"2 é um número ímpar."

1.3 Proposições Abertas (na realidade não são proposições)

de primeira ordem e de segunda ordem),

Proposições Categóricas (uso de quantificadores);

Conectivos Lógicos (conjuntivo, disjuntivo inclusivo, disjuntivo exclusivo, condicional,

bicondicional);

Operações Lógicas (negação, conjunção, disjunção inclusiva, disjunção exclusiva, condição,

bicondição);

Tabelas-Verdade;

Linguagem Corrente e Linguagem Simbólica;

Tautologia,

Contradição, Contingência;

Implicação Lógica e Equivalência Lógica;

Álgebra Proposicional (propriedades comutativa, distributiva, e Leis de De Morgan);

Argumentos Lógicos Dedutivos; Argumentos Categóricos; Validação de Argumentos por meio de

Tabelas-Verdade ou Diagramas Lógicos.

2 LÓGICA INFORMAL
Verdades e Mentiras;

Relacionamento de objetos;

Sequências Númericas;

Sucessões de Palavras;

Questões que se resolvem por meio de raciocínio simples e aritmética básica.

3 LÓGICA DE PROGRAMAÇÃO
(comandos condicionais, comandos repetitivos, conectores lógicos e operações lógicas);

4 REPRESENTAÇÃO DA INFORMAÇÃO

algoritmos e suas representações gráficas (fluxogramas, diagrama de blocos).

“A frase entre essas aspas é uma mentira”.