Mas no as duas frases

toda orao declarativa que pode ser valorada em VERDADEIRO ou FALSO Sendo orao deve possuir sujeito predicado exclamativa Conceitos sendo DECLARATIVA, NO pode ser interrogativa imperativa optativa ex: x + 5 = 10 Sentena que NO so PROPOSIES so chamadas Sentena Aberta ou Funo Proposicional quando possui uma varivel
No se sabe que "Ele"

Proposio

ex: Ele ganhou o Oscar de melhor ator em 2001 apesar do sujeito composto, a proposio simples Proposio SIMPLES Tipos Proposio COMPOSTA ex: Guilherme e Moraes so professores

ex: Guilherme professor e Moraes professor

A lgica Aristotlica (Lgica Formal, Lgica da Forma) e toda sua estrutura fundamentada nas seguintes Leis do Pensamento

Princpio da Identidade

Se uma proposio qualquer verdadeira, ento ela verdadeira.

excludo qualquer outra valor

Leis do Pensamento

Princpio do Terceiro Excludo

uma proposio s tem dois valores lgicos:

Verdadeiro Falso

Princpio da No Contradio
chamados de CONECTIVOS NO considerado CONECTIVO

uma proposio no pode ser, SIMULTANEAMENTE, verdadeira ou falsa

no conecta duas proposies

Modificador
CONJUNO

Smbolo Negao

~ ou

Smbolo

proposio composta que pode ser FALSA e poder VERDADEIRA "E" tabela-verdade exemplo

Contingncia

Obs: a proposio acima admite-se dois valores lgicos, sendo portanto uma Contigncia

DISJUNO INCLUSIVA

Raciocnio Lgico
Proposio Logicamente FALSA

Smbolo

Ex:

uma proposio composta que sempre FALSA

Contradio
"OU" tabela-verdade

Proposio Logicamente VERDADEIRA

independente dos valores-verdades de suas proposies constituintes

uma proposio invariavelmente verdadeira

Tautologia

dispe sobre os valores lgicos das proposies

Tabela-Verdade
DISJUNO EXCLUSIVA

Smbolo

Operadores Lgico

OU exclusivo tabela-verdade

CONDICIONAL

smbolo

Se vou praia, ento tomo banho de mar

"SE..ENTO" Exemplo

vou praia

o ANTECEDENTE o CONSEQUENTE

tomo banho de mar

chamada tambm de IMPLICAO
BICONDICIONAL

V -> F FALSO

smbolo igual a (p -> q) ^ (q -> p)

"SE E SOMENTE SE" tabela-verdade

Obs: Para ser VERDADEIRA, as duas proposies devem ser IGUAIS