Noções de Lógica

Matemática Elementar para Computação #0

7.5 μs

Proposição

47.8 μs

idade

xxxxxxxxxx
 
idade = 7

40.0 ns

false

xxxxxxxxxx
 
idade ≥ 18

45.0 ns

xxxxxxxxxx
 
if idade ≥ 18
    md"é obrigado a votar!"
end

6.3 μs

Conectivo "E"

6.3 μs

Pode ser escrito como E, AND, ^, &&, & dependendo do contexto.

Verdadeiro apenas quando os dois lados são verdadeiros. Falso, caso contrário.

p	q	p ^ q
V	V	V
V	F	F
F	V	F
F	F	F

38.3 μs

xxxxxxxxxx
 
# voto deixa de ser obrigatório a partir de 70 anos
if idade ≥ 18 && idade < 70
    md"é obrigado a votar!"
end

2.6 μs

Conectivo OU

Pode ser escrito como OU, OR, v, ||, | dependendo do contexto.

Verdadeiro se ao menos um dos dois lados for verdadeiro. Falso, caso contrário.

p	q	p v q
V	V	V
V	F	V
F	V	V
F	F	F

20.6 μs

xxxxxxxxxx
 
if (idade ∈ [16, 17]) || idade ≥ 70
    md"voto é facultativo!"
end

10.7 ms

Negação

Pode ser escrito como NÃO, NOT, ~, ! dependendo do contexto.

Inverte o valor lógico de uma proposição. V torna-se F e F torna-se V.

8.8 μs

Negando o E

3.3 μs

não é obrigado a votar

xxxxxxxxxx
 
if !(idade ≥ 18 && idade < 70)
    md"não é obrigado a votar"
end

17.0 μs

não é obrigado a votar

xxxxxxxxxx
 
# ~(p ^ q) <-> ~p v ~ q
if !(idade ≥ 18) || !(idade < 70)
    md"não é obrigado a votar"
end

9.9 μs

Negando o OU

2.9 μs

seu voto NÃO é facultativo!

xxxxxxxxxx
 
if !(idade ∈ [16, 17] || idade ≥ 70)
    md"seu voto NÃO é facultativo!"
end

11.6 μs

seu voto NÃO é facultativo!

xxxxxxxxxx
 
# ~(p v q) <-> ~p ^ ~ q
if !(idade ∈ [16, 17]) && !(idade ≥ 70)
    md"seu voto NÃO é facultativo!"
end

13.3 μs

Se você acha este trabalho relevante, considere apoiar o nosso canal como membro e tenha acesso às gravações das aulas ao vivo nas categorias ESPRESSO e CAPUCCINO

3.5 μs

2.7 ms

🟣 Canal na Twitch para lives: https://www.twitch.tv/pgdinamica

🟦 Canal do Telegram para receber os vídeos.

✉️ E-mails: – Propostas comerciais: pgdinamica@brunch.ag – Demais assuntos: contato@programacaodinamica.com.br

📸 Nos siga no Instagram: @pgdinamica | @kizzy_terra | @hallpaz

🐦 Nos siga no Twitter: @pgdinamica | @kizzy_terra | @hallpaz

👩🏾‍💻👨🏾‍💻 Nosso repositório no Github

✍🏾 Confira o nosso Medium

16.0 μs