GUIA DE C O N S U L T A: lógica proposicional

LEITURA DOS SÍMBOLOS FORMALIZAÇÃO DE A R G U M E N OT O S

(1) conectivos
Um argumento pode ser definido como um conjunto de
¬ negação (NÃO)
sentenças relacionadas, as premissas, que justificam ou
∧ conjunção (E) levam a uma conclusão. Em um argumento escrito em
∨ disjunção (OU) linguagem natural, as premissas e a conclusão podem ser
→ implicação (SE-ENTÃO) identificadas a partir dos seguintes termos (mas não apenas
↔ bi-implicação (SE-SOMENTE-SE) esses):
premissas conclusão
(2) símbolos
admitindo que assim
true, false - símbolos verdade
assumindo que assim sendo
P, Q, R,... - símbolos proposicionais
como consequentemente
α, β, ... - fórmulas
como consequência de dessa maneira
dado que logo
INTERPRETAÇÃO DOS CONECTIVOS
desde que neste caso
P Q ¬P P∧Q P∨Q P→Q P↔Q em vista de podemos deduzir que
V V F V V V V sabendo-se que por conseguinte
V F F F V F F supondo que portanto
F V V F V V F visto que segue que
F F V F F V V
REGRAS DE INFERÊNCIA
FORMALIZAÇÃO DE SENTENÇAS
regra nome da regra
O quadro abaixo apresenta algumas palavras que podem ser α→β α
E→ (modus ponens)
utilizadas para expressar os conetivos proposicionais (ABE; β
SCALZITTI; SILVA FILHO, 2002, p. 35-36). α → β ¬β
E→ (modus tollens)
conectivo Leitura ¬α
¬P não P α→β β→γ
não é verdade que P E→ (silogismo hipotético)
α→γ
não é o fato que P α↔β α↔β
não é o caso que P E↔
. .

α→β β→α
é falso que P
α∧β α∧β
é mentira que P E∧
. .

α β
P∧Q PeQ
P, mas Q α ∨ β ¬α α ∨ β ¬β
P, embora Q β α
E∨
P, assim como Q α∨β α→γ β→γ
P e, além disso, Q γ
P, contudo Q ¬¬α
E¬¬
.

tanto P como Q α
não só P, mas também Q [¬α]
P∨Q P ou Q ... E¬
P ou Q ou ambos false .
P→Q se P, então Q α
se P, Q
P, somente se Q regra nome da regra
P, só no caso de Q [α]
P implica Q ...
quando P, então Q I→
β .

P é condição suficiente para Q α→β

uma condição necessária para P é Q α→β β→α
Q é condição necessária para P I↔
.

α↔β
Q, sempre que se tenha P
α β
uma condição suficiente para Q é P I∧
.

Q, se P α∧β
Q, no caso de P α β
I∨
. .

Q é implicada por P α∨β α∨β

P↔Q P se e somente se Q α \

I¬¬
P se e só se Q ¬¬α
P quando e somente quando Q α ¬α
Ifalse
.

P equivale a Q false
uma condição necessária e suficiente para P é Q [α]
P é condição necessária e suficiente para Q ... I¬
¬(P ↔ Q) false .

ou P ou Q, mas não ambos ¬α

(P ∨ Q) ∧
¬(P ∧ Q)