Lógica Sentencial: Introdução Flashcards
O que é uma proposição?
Podemos dizer que proposição é toda sentença que possa ser classificada como verdadeira ou falsa, ou seja, possua um valor lógico.
O que não é considerado proposição?
Sentenças exclamativas:
Fala galera!
Sentenças interrogativas:
Que horas são?
Sentenças imperativas (ordens e pedidos):
Façam as questões.
Promessas:
Prometo que você vai conseguir.
Sentenças Optativas:
Que seja feliz!
Sentenças abertas:
X > 3.
Ele já sabe. (A questão do Ele vem sumindo com o tempo)
Quais são os conectivos padronizados?
a conjunção (e, indicada por ˄);
a disjunção (ou, indicada por ˅);
a disjunção exclusiva (ou…ou, indicada por ⊻)
a condicional (se… então, indicada por →);
e a bicondicional (se, e somente se, indicada por ↔).
Também tem-se a negação, indicada por ¬
Quais são os 3 Princípios da Lógica
Princípio da Identidade:
Uma proposição verdadeira será verdadeira e uma proposição falsa será falsa.
Princípio da Não Contradição:
Uma proposição nunca será verdadeira e falsa ao mesmo tempo.
Princípio do Terceiro Excluído:
Uma proposição será verdadeira ou falsa, não existe outra possibilidade.
Proposição Simples:
A proposição simples é a proposição formada por uma única ideia, o julgamento se seu valor lógico depende unicamente do conhecimento da informação apresentada.
Exemplos:
Pelé é o nome de um planeta (Proposição Falsa).
4 + 7 = 11 (Proposição Verdadeira).
Proposição Composta:
A proposição composta é a proposição formada pela junção de duas ou mais proposições simples através de conectivos lógicos.
Exemplos:
Sou feliz e canto.
Se estudar muito, então serei aprovado.
O que é Tautologia?
É uma preposição composta cujo valor lógico final na tabela verdade será sempre verdadeiro.
Ex: A porta está aberta ou fechada (P v ~P)
Se sou feliz então sou feliz (P → P)
O que é Contradição?
É uma proposição composta cujo valor lógico final na tabela verdade será sempre falso.
Ex: A porta está aberta e fechada (P ^ ~P)
O que é Contingência?
É uma proposição composta cujo valor lógico final na tabela verdade pode ser verdadeiro ou falso.
É a proposição comum o que não for Tautologia ou Contradição será contingência
