Mito do Progresso

1)
(a) 0
(b) 0
(c) 1
(d) 0
(e) 1
(f) 0

2) A=Paulo trabalha e B=Paulo estuda.
(a) Paulo não trabalha.
(b) Paulo trabalha e estuda.
(c) Paulo trabalha se, e somente se, estuda.
(d) Paulo trabalha ou não estuda.
(e) Paulo não trabalha e não estuda.
(f) Se Paulo trabalha, então não estuda.
(g) Paulo não trabalha se, e somente se, estuda.
(h) Paulo trabalha ou não estuda.
(i) Se Paulo trabalha e não estuda, então Paulo estuda.
(j) Se Paulo trabalha ou estuda, então Paulo estuda.

3)
(a) 1
(b) 1
(c) 0
(d) 0
(e) 1
(f) 0
(g) 0
(h) 0
(i) 0
(j) 0
(l) 1
(m) 0

4)
(a)
¬
(p
˅
¬q)
0
0
1
1
1
0
0
0
0
1
1
1
0
1
1
0

(b)
(p
→
¬q)
↔
(q
→
p)
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
1
1
1
0
1
1
1
0
0
0
1
1
1

(c)
Q
↔
(¬q
Ʌ
p)
0
1
1
0
0
1
0
0
0
0
0
0
1
1
1
1
0
0
0
1

(d)
(p
↔
¬q)
→
(¬p
Ʌ
q)
0
0
1
1
1
0
0
0
1
0
1
1
1
1
1
1
1
0
0
0
0
1
0
0
1
0
0
1

(e)
((p
˅
q)
Ʌ
¬p)
→
(q
→
p)
0
0
0
0
1
1
0
1
0
0
1
1
1
1
0
1
0
0
1
1
0
0
0
1
0
1
1
1
1
1
0
0
1
1
1
1

(f)
(r
Ʌ
(p
˅
¬q))
Ʌ
¬
(¬r
˅
(p
Ʌ
q))
0
0
0
1
1
0
0
1
1
0
0
0
1
1
0
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
1
1
0
0
1
1
0
0
0
0
0
1
0
0
0
0
1
0
0
1
1
1
0
0
1
1
1
0
0
1
1
1
1
1
1
1
0
0
1
0
0
0
0
1
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
0
1
1
1
1

(g)
P
˅
(q
Ʌ
r)
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
1
1
1
1
0
0
0
1
1
0
0
1
1
1
1
0
0
1
1
1
1
1

(h)
(¬q
˅
p)
↔
(q
→
¬p)
1
1
0
1
0
1
1
0
0
0
0
1
1
1
1
1
1
1
0
1
0
0
1
1
0
1
0
0

(i)
¬
(p
˅
¬q)
Ʌ
(¬p
˅
r)
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
1
1
0
0
0
1
1
1
0
1
0
0
0
1
1
1
1
0
1
1
1
0
0
0
0
0
1
1
1
0
0
1
1
0
1
1
0
0
0
0
0
0
1
1
0
0
0
1
1

(j)
(p
Ʌ
¬r)
→
¬q
0