PROPOSIÇÕES LÓGICAS

(MISSÃO, 2023)

Ou o valor do IPTU deverá aumentar e a coleta de lixo ficará mais cara ou a arrecadação fiscal não será
suficiente e não haverá verba para as obras.

De acordo com a proposição acima, o número de proposições simples e a quantidade de conectivos

lógicos é, respectivamente, igual a:

R: 4 e 3.

CONJUNÇÃO ∧ &

O conectivo ló gico “e” tornará a proposiçã o composta verdadeira, desde que todas as proposições
tenham valor lógico verdadeiro.

Negação do “E”

A negaçã o da disjunçã o é dada por: p ∧ q = ~ p ∨ q ~

Ou seja, basta trocar o conectivo “e” pelo “ou’ e negar todas as posições.
 DISJUNÇÃO INCLUSIVA ∨ + ǀǀ

O conectivo ló gico “ou” tornará a proposiçã o composta verdadeira, desde que uma das proposições
simples seja verdadeira.

Negação do “Ou”:

A negaçã o da disjunçã o é dada por: p ∨ q = ~ p ∧ q ~

Ou seja, basta trocar o conectivo “ou” pelo “e” e negar todas as proposições.

DISJUNÇÃO INCLUSIVA ⊻ ⊕

O conectivo ló gico “ou...ou...” tornará a proposiçã o composta verdadeira, desde que somente uma
proposição simples seja verdadeira.

CONDICIONAL ⇒ → ⊂

O conectivo ló gico “Se...entã o...” tornará a proposiçã o composta verdadeira em todas as hipó teses, à
exceção da que a primeira proposição é verdadeira e a segunda proposição é falsa. (Vera
Fischer)

Negação do “Se....então...”:

A negaçã o da condicional é dada por: ~ (p → q) = p ∧ ~ q.

Ou seja, basta aplicar a regra do “MA E NÉ” – mantém a primeira proposição, troca o conectivo
pelo “e” e nega a segunda proposição.

Equivalência do “Se.…então...”:

p→ q

~q → ~p ~p v q

Há duas formas de equivalência da condicional:

 1. p→ q ⇔ ~p v q (NE OU MAR - nega a primeira, mantém a segunda e troca o conectivo
por “e”.)

2. p→ q ⇔ ~q → ~p (INVERTE NEGANDO – troca a ordem das proposições e nega TODAS.)

BICONDICIONAL ⇔ ≡ ↔

O conectivo ló gico “e” tornará a proposiçã o composta verdadeira, desde que todas as proposições
tenham valor lógico igual.

Negação do “Se e somente se”:

A negaçã o do “se e somente se” é dada por: ~ (p ↔ q) = p ⊻ q.

Ou seja, basta trocar o conectivo pelo “ou...ou...” ⊻, sem negar as proposiçõ es.

Equivalência do “Se e somente se”

A equivalência da bicondicional é dada por: (p ↔ q) = (p → q) ∧ (q → p)

Ou seja, sã o duas condicionais.

QUANTIFICADORES LÓGICOS

Negação dos Quantificadores Lógicos

Proposição Negação
Universal Afirmativa – Todo Particular Negativa – Algum...não
Universal Negativa – Nenhum Particular Afirmativa – Algum

ARGUMENTAÇÃO LÓGICA

Uma condiçã o suficiente é a antecedente de uma condicional, e uma condiçã o necessária é a

consequente de uma condicional.

Ex.: Se o Neymar joga, entã o o Brasil ganha.

Neymar jogar é SUFICIENTE para que o Brasil ganhe.

O Brasil ganhar é NECESSÁRIO PARA QUE NEYMAR JOGUE.

Método da Conclusão Falsa

Assume-se que todas as premissas sã o verdadeiras e que a conclusão seja falsa. Caso alguma
premissa fique Falsa (F), o argumento será VÁLIDO. Do contrá rio, caso as premissas continuem
verdadeiras com a conclusã o falsa, o argumento será INVÁLIDO.

MATEMÁTICA

CONJUNTOS

(MISSÃO, 2023)

Considere os conjuntos A = (0,2,3,5,6) e B = (2, 3, 5, 6, 9). A operação A-B é:

R: (0).

A operaçã o A-B é lida como elementos pertencentes a A que não estão contidos em B. Assim:

(0,2,3,5,6) - (2, 3, 5, 6, 9). = (0)

PROGRESSÃO ARITMÉTICA

Uma Progressã o Aritmética (PA) é uma sequência numérica em que cada termo, a partir do segundo, é
igual à soma do termo anterior com uma constante r, chamada de razã o da PA. Por exemplo, a
sequência “2,5,8,11” é uma PA com razã o r=3.

 Fórmula do termo geral: Essa fó rmula permite calcular o enésimo termo de uma PA
conhecendo o primeiro termo a1, a razã o r e o nú mero de termos n.

an = a1 + (n-1) * r.

 Fórmula da soma dos n primeiros termos: Essa fó rmula permite calcular a soma dos n
primeiros termos de uma PA conhecendo o primeiro termo a1, o enésimo termo na e o nú mero
de termos n.

Sn = (a1 + an) * n/2.

 Fórmula da razão: Essa fó rmula permite calcular a razã o de uma PA conhecendo o primeito
termo a1, o enésimo termo e o nú mero de termos n.

R = (an – a1) / (n – 1)