MEMOREX DE LGICA SENTENAS 1. A declarao: a Lua o satlite natural da Terra uma proposio porque pode ser valorada em V ou F; 2.

2. A sentena aberta: x + 2 > 10 no considerada uma proposio, pois no pode ser valorada em V ou F; 3. A interrogao: vamos ao cinema? no uma proposio pois no pode ser valorada em V ou F; 4. A sentena imperativa: abra a porta no uma proposio, pois no pode ser valorada em V ou F; FORMA SIMBLICA e OPERAES LGICAS
Prop. No-P P ou Q PeQ P, ento Q Condicional tiverem valores iguais tiverem valores diferentes P Q nos outros casos P se, e somente se, Q Bicondicional PQ antecedente for V e conseqente for F Conjuno P Q pelo menos uma for F Disjuno P Q pelo menos uma for V exigente quando todas forem V quando todas forem F Negao de P ~P P for falso P for verdadeiro Denominao Simb. PREMISSA... verdadeira quando... falsa quando...

FORA DO CONECTIVO E O USO DOS PARNTESES Quando no h parntese o mais fraco que o e que so mais fracos que o este mais fraco que , os mais fracos devem ser protegidos por parnteses. Veja: Gera argumento vlido

Se tivermos Q falsa, por deduo P ser falsa.

DIAGRAMAS LGICOS

Se tivermos P falsa, no podemos deduzir o valor-lgico de Q, pois Q poder ser verdadeira ou falsa.

Proposio Categrica uma orao declarativa constituda por dois conjuntos (classes): um que se encontra no termo sujeito e outro no termo predicado; ela determina uma qualidade, encontrada na classe do predicado, que atribuda a todo, algum ou nenhum elemento da classe do sujeito. De maneira geral, uma proposio categrica pode ser representada por:

Todo Algum Nenhum

+
Gera argumento invlido

no

O mais forte d nome estrutura e os mais fracos tm prioridade nas operaes sendo protegidos por parnteses EXEMPLOS DE SIMBOLIZAO Com base nessas simbolizaes, observe as seguintes: 01) A liberdade fundamental, mas o homem precisa de limites: PS (conjuno). 02) A represso ao crime importante, se a justia deve ser severa: QR (condicional). 03) Se a justia no deve ser severa nem a liberdade fundamental, ento a represso ao crime no importante: [(Q)(S)] R (condicional). 04) Ou o homem no precisa de limites e a represso ao crime no importante, ou a justia deve ser severa: ((P)R)) v Q. 05) A justia deve ser severa e o homem precisa de limites se, e somente se, a represso ao crime importante, portanto a liberdade fundamental: (QP)(RS) (bicondicional). 06) Nem o homem precisa de limites nem a justia deve ser severa conseqncia de a liberdade fundamental: SPQ (condicional). ESTRUTURA CONDICIONAL P, ento Q = P est contido em Q P: O homem precisa de limites. Q: A justia deve ser severa. R: A represso ao crime importante. S: A liberdade fundamental.

termo sujeito

Se tivermos Q verdadeiro, no podemos deduzir o valorlgico de P, pois P poder ser verdadeira ou P falsa.

quantidade de elementos do S que possuem a qualidade P

cpula

termo predicado que d qualidade aos elementos de S

Gera argumento invlido

P, ento Q P suficiente para Q P est contido em Q

Exemplos: (1) Todo professor rico; todo conjunto dos professores possui a qualidade ser rico, ou seja, o conjunto dos professores est totalmente inserido no conjunto dos ricos. Ricos

P, ento Q Q necessrio para P Q contm P

Professores

VARIANTES DE ESTILO NA LINGUAGEM CORRENTE DAS ESTRUTURAS LGICAS Proposio No-P Variante No verdade que P falso que P No caso que P No se d que P P, mas Q P, embora Q Tanto P como Q No s P, mas tambm Q P, apesar de Q Nem P nem Q = ~P ~Q P ou Q ou ambos P e/ou Q Se P, Q Caso P, Q Quando P, Q P implica Q P, portanto Q P, conseqentemente Q P, logo Q P suficiente para Q P est contido em Q Desde que P, Q necessrio para P, Q Contanto que P, Q Q quando P Q desde que P Q contanto que P Q caso P Q visto que P Q conseqncia de P Q necessrio para P necessrio Q para P Q contm P PeQ P ou Q
(Consequncia)

P se e somente se Q P CONDIO NECESSRIA E SUFICIENTE para Q CONJUNTOS IGUAIS

(2) Algum professor rico; uma parte do conjunto dos professores possui a qualidade ser rico, ou seja, o conjunto dos professores est parcialmente inserido no conjunto dos ricos.

Professores

Ricos

S de Saindo S de Suficiente N de eNtrando N de Necessrio

Variantes condicionais de no-inverso

(Causa)

TAUTOLOGIA: uma proposio lgica composta que ser sempre verdadeira independentemente dos valores lgicos das proposies simples que a compem.

(3) Nenhum professor rico; todo o conjunto dos professores est excludo de possuir a qualidade ser rico, ou seja, entre os conjuntos no h interseco. So conjuntos disjuntos.

P, ento Q
(Causa) (Consequncia)

CONTRADIO: uma proposio lgica composta que ser sempre falsa independentemente dos valores lgicos das proposies simples que a compem.

Professores

Ricos

Variantes condicionais de inverso

(Consequncia)

Em uma proposio condicional PQ verdadeira sabemos, pela tabela-verdade, que no existe a possibilidade de termos P verdadeira e Q falsa, logo: Se tivermos P verdadeira, por deduo Q ser verdadeira.

PROPOSIES EQUIVALENTES: quando so formadas pelas mesmas proposies primitivas e possuem as mesmas valoraes em todas as linhas de suas tabelas, ou seja, possuem a mesma tabela verdade. PROPOSIO AB Z alto e bonito AB Z alto ou bonito AB Se Z alto, ento bonito NEGAO ~A ~B Z no alto ou no bonito ~A ~B Z no alto e no bonito A ~B Z alto e no bonito

Q se P
(Causa)

(Causa)

(4) Algum professor no rico; uma parte do conjunto dos professores no possui a qualidade de ser rico, ou seja, pelo menos um elemento do conjunto dos professores no pertence ao conjunto dos ricos.

Professores

Ricos

(Consequncia)

P se, e somente se, Q

P se Q e Q se P P equivalente a Q

Gera um argumento vlido

NEGAES, SIMBOLIZAES E VARIANTES PROPOSIO NEGAO

Particular afirmativa
Algum S P H S que P Existe S que P Pelo menos um S P ( x )(S(x) P(x)) Nenhum S P Todo S no P Somente no-S so P No existe S que seja P Ningum que seja S P Se algum S, ento no P

Universal negativa

Universal afirmativa
Todo S P Os S so P Qualquer S P Somente P so S Nenhum S no P Todos os no-P so no-S Ningum S, a menos que seja P ( x )(S(x) P(x)) Algum S no P Nem todo S P Existe S que no P Nem todos os S so P Ao menos um S no P Pelo menos um S no P ( x )(S(x) ~P(x)) ARGUMENTOS CATEGRICOS: use diagramas P 1: P 2: C: Todo A B Nenhum B C Nenhum A C VLIDO Algum A B Todo B C Algum A C VLIDO Nenhum A B Todo B C Nenhum A C INVLIDO PROBLEMAS COM TAUTOLOGIAS E CONTRADIES O declarante fala... Verdades Verdades Mentiras Mentiras LGICA E TEORIA DOS CONJUNTOS Nos Conjuntos AB U-A AB AB A=B A-B Na Lgica A B ~A AB AB A B A ~B A declarao ... Verdadeira Mentira Verdadeira Mentira Isso uma... Tautologia Contradio Contradio Tautologia EQUIVALNCIAS LGICAS DENOMINAO PROPOSIO EQUIVALENTE P Q ~PQ IMPLICAO P Q ~PQ MATERIAL ~Q P QP
EQUIVALNCIA MATERIAL

(~ x ) (S(x) P(x)) Particular negativa

Termos indicadores de premissas Porque; pois; uma vez que; j que; dado que; pela razo de que; visto que; assumindo que; como; pelo fato de que; supondo que;... Termos indicadores de concluso Portanto; logo; assim; da; consequentemente; por isso; segue-se que; conclui-se que; pode-se inferir que; isso implica que; por conseguinte; isso resulta que;...

FORMA E CONTEDO A lgica analisa formalmente argumentos e no a verdade, do ponto de vista da realidade, das premissas e/ou concluso. Para analisar a validade de argumento devemos supor que todas as premissas sejam verdadeiras, se a concluso, nesse contexto, for necessariamente verdadeira, o argumento ser vlido. Por exemplo, o argumento vlido: Todo planeta verde. A Terra conhecida como planeta azul. Logo, o planeta azul verde. Tambm vlido: Todo cachorro verde. Tudo que verde vegetal. Logo, todo cachorro vegetal.

P Q P(QR) P(QR) P Q ~(P Q) ~(P Q) ~P ~Q ~P ~Q ~Q~P (PQ)(PR) (PQ)(PR)

(PQ)(QP)

DISTRIBUTIVA TRANSPOSIO CONTRAPOSIO LEIS DE MORGAN

LGICA DE ARGUMENTAO Na lgica, um argumento um conjunto de sentenas declarativas (proposies) denominadas premissas ou hipteses, que por definio so tomadas como verdadeiras, das quais retiramos uma concluso tambm chamada tese. Um argumento pode ser vlido ou invlido. Um argumento apresenta uma forma vlida (raciocnio coerente ou correto) quando a concluso uma conseqncia formal (sem anlise do contedo) do foi afirmado nas premissas. Exemplos: P 1: P Q P 2: P C: ~Q Premissa 1: De acordo com a acusao, o ru roubou um carro (V2) ou roubou uma motocicleta (?). Premissa 2: O ru roubou um carro (V1). Concluso: Portanto, o ru no roubou uma motocicleta (?).. (INVLIDO) P 1: P Q P2: ~Q C: ~P Premissa 1: Se Josu no capixaba (F3)., ento Michele no mora na praia da Costa (F2). Premissa 2: Michele mora na praia da Costa (V1). Concluso: Josu capixaba (V4). (VLIDO)

PROPOSIES FUNCIONAIS H expresses que no podem ser julgadas como V nem como F, por exemplo: x + 3 = 7. Nesse caso, a expresso constitui uma sentena aberta e x a varivel. Uma forma de passar de uma sentena aberta a uma proposio pela quantificao da varivel. So dois os quantificadores: qualquer que seja ou para todo, indicado por , e existe, indicado por . Por exemplo, a proposio ( x)(x ) (x + 3 = 7) valorada como F, enquanto a proposio (x)(x )(x + 3 = 7) valorada como V.