tmp 7228 AULA LOGICA TI PROP 668823554

1237 palavras 5 páginas
PROPOSIÇÕES SIMPLES OU ATÔMICAS

Minha casa é grande.
Seus olhos são azuis.
Está calor.

PROPOSIÇÕES SIMPLES OU ATÔMICAS

São designadas pelas letras latinas minúsculas p,q,r,s,..., chamadas letras proposicionais.

p: Minha casa é grande. q: Seus olhos são azuis. r: Está calor.

PROPOSIÇÕES COMPOSTAS OU MOLECULARES

Formada pela combinação de 2 ou mais PROPOSIÇÕES.

Minha casa é grande e meu carro é azul.
Seus olhos são azuis ou verdes.
Se está calor, então é verão.

PROPOSIÇÕES COMPOSTAS OU MOLECULARES

São designadas pelas letras latinas maiúsculas P,Q,R,S,..., chamadas letras proposicionais.

P: Minha casa é grande e meu carro é azul.
Q: Seus olhos são azuis ou verdes.
R: Se está calor, então é verão.

PROPOSIÇÕES COMPOSTAS OU MOLECULARES

PROPOSIÇÃO COMPOSTA (MOLÉCULAS)
Também chamadas de fórmulas proposicionais ou fórmulas.
Notação:
P(q,r,s) – significa que P é uma proposição composta das proposições atômicas q,r e s.

Os símbolos da Linguagem do
Cálculo Proposicional
VARIÁVEIS PROPOSICIONAIS SIMPLES E COMPOSTAS
Proposições Simples: letras minúsculas p, q, r, s,....
Ex: A lua é quadrada: p
A neve é branca: q

Proposições Compostas: letras maiúsculas P, Q, R, S,....
Ex: Carlos é estudante e Pedro é Careca: P
Se André é médico então sabe biologia: Q

Os símbolos da Linguagem do
Cálculo Proposicional


P (p, q, r, ...) indica que a proposição composta P é combinação das proposições simples p, q, r, ...



O valor lógico de uma proposição simples p indica-se por V(p) e o de uma proposição composta P por V(P).

Conectivos Lógicos
Termos usados para formar novas proposições a partir de outras.

EE
SE...
SE...
ENTÃO...
ENTÃO...

OU
OU

NÃO
NÃO
...SE
...SE EE
SOMENTE
SOMENTE SE...
SE...

Conectivos Lógicos
P: Minha casa é grande e meu carro é azul.
Q: Seus olhos são azuis ou verdes.
R: Se está calor então é verão.
S: Não está chovendo.
T: O triângulo é equilátero se e somente se é equiângulo.

Operadores Lógicos
Assim como operamos com números, as

Relacionados