PROPOSIES

AS PROPOSIES S PODEM SER:

VERDADEIRAS
OU
FALSAS

NEGAO DE PROPOSIO
SE UMA PROPOSIO FOR
VERDADEIRA, SUA NEGAO SER
FALSA.
SE UMA PROPOSIO FOR FALSA,
SUA NEGAO SER VERDADEIRA.

NO SO POPOSIES:
OS SIMBOLOS DE NEGAO, SO:
FRASES EXCLAMATIVAS (!!!)
FRASES INTERROGATIVAS (???)
FRASES IMPERTIVAS (ORDEM)

~ ) OU ()

OBS: NEGAR UMA PROPOSIO DUAS VEZES, ELA VOLTA

SENTEAS ABERTAS
SO INCGNITAS, NO PODENDO DEFINI-LS:
EXEMPLO:
X+2=5
No sabido o valor de "X"

AO SEU ESTADO NATURAL.

TIPOS DE PROPOSIO:
SIMPLES:
NO TEM CONECTIVO LGICO
NO PODEM SER DIVIDIDAS
UM VERBO

COMPOSTAS:
TM CONECTIVO LGICO
PODEM SER DIVIDIDAS
MAIS DE UM VERBO

CONECTIVOS LGICOS
REGRAS CONECTIVOS APLICAO (DECORAR)
SO UTILIZADOS PAR AUNIR AS PROPOSIES SIMPLES,
FORMANDO AS COMPOSTAS:

e: conjuno (^)
ou : disjuno ()
ou...,ou: disjuno exclusiva (v)
se..., ento: condicional ()
se..., e somente se: bicondicional ()

PROPOSIO

CONDIES VERDADE

CONDIES FALSO

PQ
PQ
PQ
PQ

VV
V V, V F, F V
V V, F V, F F
V V, F F

V F, F V, F F
FF
VF
V F, F V

NEGAO DOS CONECTIVOS (DECORAR)

TABELA VERDADE
TEM O PAPEL DE SABERMOS TODAS AS CHANCES DE UMA
PROPOSIO SER VERDADEIRA OU FALSA :

2
2 : Nmero de linhas
n nmero de proposies
Exemplo: (2 = 8)

A NEGAO DE (e) (ou)

A NEGAO DE (ou) (e)
A NEGAO DE (se ento) (e)