O documento apresenta os conceitos básicos de lógica proposicional, incluindo proposições, conectivos lógicos como "e", "ou", "se então" e "bicondicional", e negação. O texto ensina como representar essas estruturas simbolicamente e fornece exemplos de tabelas-verdade para avaliar proposições compostas. Por fim, pede aos alunos que resolvam exercícios lógicos usando esses conceitos.

1. LÓGICA MATEMÁTICA
Aula
complementar
Para os alunos
de excel

2. CONCEITO
 Proposição Trata-se, tão somente, de uma sentença–
algo que será declarado por meio de palavras ou de
símbolos – e cujo conteúdo poderá considerado
verdadeiro ou falso.
atribuiremos a uma proposição:
verdadeiro (V) ou falso (F).

3. O QUE APRENDEREMOS
Na teoria:
Na prática

4. 1
2
3

5. CONECTIVO E
No caso do conectivo “e”, temos:

6. CONECTIVO “OU”:
 Simbolicamente, representaremos esse conectivo por “ ∨”.
Portanto, se temos a sentença:

7. SE ENTÃO
Perceba que as sentenças só será falsa em uma única
condição:

8. BICONDICIONAL
Essa é moleza:
=)

9. NEGAÇÃO
É o mesmo que tornar
oposto uma das setenças.

10. COLOCAR EM EVIDÊNCIA= ~(P V Q)

11. ~P Л ~Q
P
Q
V
V
V
F
F
V
F
F
~P
~Q
~P л ~Q

12. AGORA TREINEMOS
(p v ~q) ↔ ( q л ~p)

13. AGORA COM 3 PROPOSIÇÕES

17. ATIVIDADES A SEREM ENTREGUES NO
E-MAL RICARO153@LIVE.COM
 1 . Considere as seguintes preposições:
 A) p v ~q
 B) p → q
 C) ~p ↔ ~q
 D) p ↔ ~q
 E) (p v ~q) ↔ ( q л ~p)

18. ATIVIDADES A SEREM ENTREGUES NO
E-MAL RICARO153@LIVE.COM
 2. Continue fazendo as seguintes preposições e as faça como
as outras no Excel!
 A) ( p v q ) л ~p
 B) p л (p → q ) л (p → ~q)
 C) p л (p v q) → (p v q ) л q
 D) ~( p → q ) л (( ~p л q ) v ~(p v q))
 E) ~p → ( p v ~( p v ~q ))