Você está na página 1de 1
Mas não as duas frases
Mas não as duas frases

toda oração declarativa que pode ser valorada em VERDADEIRO ou FALSO

sujeito Sendo oração deve possuir predicado exclamativa Conceitos interrogativa sendo DECLARATIVA, NÃO pode ser
sujeito
Sendo oração deve possuir
predicado
exclamativa
Conceitos
interrogativa
sendo DECLARATIVA, NÃO pode ser
imperativa
Proposição
optativa
Sentença que NÃO são PROPOSIÇÕES são chamadas
Proposição SIMPLES
Tipos
Proposição COMPOSTA
quando possui uma variável

quando possui uma variável

quando possui uma variável
quando possui uma variável
quando possui uma variável
quando possui uma variável

Sentença Aberta ou Função Proposicional

Sentença Aberta ou Função Proposicional
apesar do sujeito composto, a proposição é simples
apesar do sujeito composto, a proposição é simples

ex: “Guilherme e Moraes são professores”

ex: “Guilherme é professor e Moraes é professor”

A lógica Aristotélica (Lógica Formal, Lógica da Forma) e toda sua estrutura é fundamentada nas
A lógica Aristotélica (Lógica Formal, Lógica da Forma) e toda sua estrutura
é fundamentada nas seguintes Leis do Pensamento
Princípio da Identidade
excluído qualquer outra valor
Leis do Pensamento
Princípio do Terceiro Excluído
uma proposição só tem dois valores lógicos:
Princípio da Não Contradição

Se uma proposição qualquer é verdadeira, então ela é verdadeira.

Verdadeiro Falso
Verdadeiro
Falso

uma proposição não pode ser, SIMULTANEAMENTE, verdadeira ou falsa

NÃO é considerado CONECTIVO não conecta duas proposições Símbolo ~ ou ¬ Modificador Negação CONJUNÇÃO
NÃO é considerado CONECTIVO
não conecta duas proposições
Símbolo
~ ou ¬
Modificador
Negação
CONJUNÇÃO
Símbolo
"E"
tabela-verdade
DISJUNÇÃO INCLUSIVA
Símbolo
"OU"
tabela-verdade
DISJUNÇÃO EXCLUSIVA
Símbolo
Operadores Lógico
OU exclusivo
tabela-verdade
CONDICIONAL
símbolo
“Se vou à praia, então tomo banho de mar”
"SE ENTÃO"
Exemplo
“vou à praia”
é o ANTECEDENTE
“tomo banho de mar”
é o CONSEQUENTE
chamada também de IMPLICAÇÃO
V -> F é FALSO
BICONDICIONAL
símbolo
é igual a (p -> q) ^ (q -> p)
"SE E SOMENTE SE"
tabela-verdade
proposição composta que pode ser FALSA e poder VERDADEIRA Contingência exemplo Obs: a proposição acima
proposição composta que pode ser FALSA e poder VERDADEIRA
Contingência
exemplo
Obs: a proposição acima admite-se dois valores lógicos,
sendo portanto uma Contigência
Proposição Logicamente FALSA uma proposição composta que é Ex: Contradição sempre FALSA
Proposição Logicamente FALSA
uma proposição composta que é
Ex:
Contradição
sempre FALSA
Proposição Logicamente VERDADEIRA é uma proposição invariavelmente verdadeira Tautologia
Proposição Logicamente VERDADEIRA
é uma proposição invariavelmente verdadeira
Tautologia
Tabela-Verdade
Tabela-Verdade

independente dos valores-verdades de suas proposições constituintes

dispõe sobre os valores lógicos das proposições

Obs: Para ser VERDADEIRA, as duas proposições devem ser IGUAIS

ex: x + 5 = 10

Não se sabe que é "Ele"
Não se sabe que é "Ele"

ex: “Ele ganhou o Oscar de melhor ator em 2001”