The best way to cheat a system

Lógica Matemática
Prof. César
E-mail: [e-mail]

Cronograma de aulas - Abril
27/03 - Não haverá aula

03/04 Aula de ATPS Supervisionada (21h10min às 22hs00min)

10/04 - Reposição 21h10min às 22h
Atividades de Avaliação - Entrega das Fases 1,2 e 3 da ATPS

22/05 – Reposição 21h10min às 22h

29/05 - Reposição 21h10min às 22h

Conceitos Básicos
Proposição (Premissas): sentenças declarativas afirmativas da qual tenha sentido afirmar que seja verdadeira ou que seja falsa. (“Ontem fui pescar”)
Não estaremos abordado nesse momento as sentenças interrogativas
(“você está nervoso?”), imperativas (“vá pescar”) ou exclamativas
(“que peixão”). Uma proposição e uma declaração afirmativa à qual se pode associar um valor verdadeiro ou falso, mas não ambos.
O sol é verde
Matemática é uma ciências
Cachorro sabe escrever

Conceitos Básicos
As proposições podem ser simples (atômicas) ou composta (moleculares) .
Gosto de repolho roxo (simples)
Gosto de repolho roxo e salada de rúcula (composta)
As proposições compostas são constituídas de proposições simples, conectadas por palavras muito especiais (com significados extremamente importantes para quem trabalha com computação), denominadas conectivos lógicos. São Eles:

e ou não se...então... se e somente se

Lógica Proposicional
Proposição é o elemento básico a partir do qual os argumentos são

construídos sendo também o principal objeto de estudo na lógica proposicional. Alfabeto da linguagem da lógica proposicional é:
Símbolos proposicionais (Proposições ou Premissas): :
P,Q,R,S,P1,Q1,R1,S1,Q2,...
Exemplos:
O sol e verde: P
Matemática é uma ciências: Q

Lógica Proposicional

Conectivos proposicionais (lógicos):
Unários

┐ = não

Binário

V = ou
^ =é
→ = “Se então” ou “implica”
↔ = “Se somente se” ou “bi-implicação”

Lógica Proposicional
Exemplos:

O sol é verde e a Matemática é uma ciências: P ^ Q
(P e Q são chamados de conjunctos)
O sol