Apostila de Lógica

Unidade 2 – Lógica Proposicional (Álgebra das Proposições)
4. Considere o seguinte fragmento de um programa pascal:
for contador := 1 to 5 do
begin
read (a);
if a
5 . 0 and 2
* a 10.
7 or sqrt5.
0*
a
5.
1
then
writeln (a);
end;
Os valores de entrada para a são 1.0, 5.1, 2.4, 7.2 e 5.3. Quais são os valores de saída ?
Resolução:
Saídas:
5. Reescreva o programa pascal a seguir com uma expressão condicional simplificada:
if not
or
else
valor
1
valor 2 or odd numero
not
valor
1
valor 2 and odd numero
comando1
comando2;
6. (a) Verifique que A B é equivalente a A
B . (b) usando a parte (a) e outras equivalências,
escreva a negação da sentença “ Se Pedro passar em seu curso de física, então ele se formará.”