1.

p (q r ), (p q) s ` p s

1. p (q r ), (p q) s ` p s
1.
2.

p (q r )
(p q) s

Premissa 1
Premissa 2

1. p (q r ), (p q) s ` p s
1.
2.
3.

p (q r )
(p q) s
(p q) (q r )

Premissa 1
Premissa 2
Distributividade em 1

1. p (q r ), (p q) s ` p s
1.
2.
3.
4.

p (q r )
(p q) s
(p q) (q r )
pq

Premissa 1
Premissa 2
Distributividade em 1
Simplificao em 3

1. p (q r ), (p q) s ` p s
1.
2.
3.
4.
5.

p (q r )
(p q) s
(p q) (q r )
pq
s

Premissa 1
Premissa 2
Distributividade em 1
Simplificao em 3
Modus Ponens

1. p (q r ), (p q) s ` p s
1.
2.
3.
4.
5.
6.

p (q r )
(p q) s
(p q) (q r )
pq
s
ps

Premissa 1
Premissa 2
Distributividade em 1
Simplificao em 3
Modus Ponens
Adio em 5

2. (p q), r q ` p r

2. (p q), r q ` p r
1.
2.

pq
r q

Premissa 1
Premissa 2

2. (p q), r q ` p r
1.
2.
3.

pq
r q
q p

Premissa 1
Premissa 2
Contra positiva em 1

2. (p q), r q ` p r
1.
2.
3.
4.

pq
r q
q p
r p

Premissa 1
Premissa 2
Contra positiva em 1
Silogismo Hip. em 2 e 3

2. (p q), r q ` p r
1.
2.
3.
4.
5.

pq
r q
q p
r p
(p) r

Premissa 1
Premissa 2
Contra positiva em 1
Silogismo Hip. em 2 e 3
Contra positiva em 4

2. (p q), r q ` p r
1.
2.
3.
4.
5.
6.

pq
r q
q p
r p
(p) r
p r

Premissa 1
Premissa 2
Contra positiva em 1
Silogismo Hip. em 2 e 3
Contra positiva em 4
Dupla negao em 5

3. (p q), (p r ), q ` r

3. (p q), (p r ), q ` r
1.
2.
3.

pq
p r
q

Premissa 1
Premissa 2
Premissa 3

3. (p q), (p r ), q ` r
1.
2.
3.
4.

pq
p r
q
p

Premissa 1
Premissa 2
Premissa 3
Modus Tollens em 1 e 3

3. (p q), (p r ), q ` r
1.
2.
3.
4.
5.

pq
p r
q
p
r

Premissa 1
Premissa 2
Premissa 3
Modus Tollens em 1 e 3
Modus Ponens em 2 e 4

4. (p q) [p (s t)], (p r ) ` t r

4. (p q) [p (s t)], (p r ) ` t r
1.
2.

(p q) [p (s t)]
pr

Premissa 1
Premissa 2

4. (p q) [p (s t)], (p r ) ` t r
1.
2.
3.

(p q) [p (s t)]
pr
p

Premissa 1
Premissa 2
Simplificao em 2

4. (p q) [p (s t)], (p r ) ` t r
1.
2.
3.
4.

(p q) [p (s t)]
pr
p
pq

Premissa 1
Premissa 2
Simplificao em 2
Adio em 3

4. (p q) [p (s t)], (p r ) ` t r
1.
2.
3.
4.
5.

(p q) [p (s t)]
pr
p
pq
p (s t)

Premissa 1
Premissa 2
Simplificao em 2
Adio em 3
Modus Ponens em 1 e 4

4. (p q) [p (s t)], (p r ) ` t r
1.
2.
3.
4.
5.
6.

(p q) [p (s t)]
pr
p
pq
p (s t)
st

Premissa 1
Premissa 2
Simplificao em 2
Adio em 3
Modus Ponens em 1 e 4
Modus Ponens em 3 e 5

4. (p q) [p (s t)], (p r ) ` t r
1.
2.
3.
4.
5.
6.
7.

(p q) [p (s t)]
pr
p
pq
p (s t)
st
t

Premissa 1
Premissa 2
Simplificao em 2
Adio em 3
Modus Ponens em 1 e 4
Modus Ponens em 3 e 5
Simplificao em 6

4. (p q) [p (s t)], (p r ) ` t r
1.
2.
3.
4.
5.
6.
7.
8.

(p q) [p (s t)]
pr
p
pq
p (s t)
st
t
t r

Premissa 1
Premissa 2
Simplificao em 2
Adio em 3
Modus Ponens em 1 e 4
Modus Ponens em 3 e 5
Simplificao em 6
Adio em 7

5. (p q) (r s), (t u), (u v ), (q v ) ` p t

5. (p q) (r s), (t u), (u v ), (q v ) ` p t
1.
2.
3.
4.

(p q) (r s)
t u
uv
q v

Premissa 1
Premissa 2
Premissa 3
Premissa 4

5. (p q) (r s), (t u), (u v ), (q v ) ` p t
1.
2.
3.
4.
5.

(p q) (r s)
t u
uv
q v
t v

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Silogismo Hip. em 2 e 3

5. (p q) (r s), (t u), (u v ), (q v ) ` p t
1.
2.
3.
4.
5.
6.

(p q) (r s)
t u
uv
q v
t v
pq

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Silogismo Hip. em 2 e 3
Simplificao em 1

5. (p q) (r s), (t u), (u v ), (q v ) ` p t
1.
2.
3.
4.
5.
6.
7.

(p q) (r s)
t u
uv
q v
t v
pq
p t

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Silogismo Hip. em 2 e 3
Simplificao em 1
Dilema Destrutivo em 6, 5 e 4

6. [(p q) r ], (r q) [p (s t)], (p s) ` (s t)

6. [(p q) r ], (r q) [p (s t)], (p s) ` (s t)
1.
2.
3.

(p q) r
(r q) [p (s t)]
ps

Premissa 1
Premissa 2
Premissa 3

6. [(p q) r ], (r q) [p (s t)], (p s) ` (s t)
1.
2.
3.
4.

(p q) r
(r q) [p (s t)]
ps
p

Premissa 1
Premissa 2
Premissa 3
Simplificao em 3

6. [(p q) r ], (r q) [p (s t)], (p s) ` (s t)
1.
2.
3.
4.
5.

(p q) r
(r q) [p (s t)]
ps
p
pq

Premissa 1
Premissa 2
Premissa 3
Simplificao em 3
Adio em 4

6. [(p q) r ], (r q) [p (s t)], (p s) ` (s t)
1.
2.
3.
4.
5.
6.

(p q) r
(r q) [p (s t)]
ps
p
pq
r

Premissa 1
Premissa 2
Premissa 3
Simplificao em 3
Adio em 4
Modus Ponens em 1 e 5

6. [(p q) r ], (r q) [p (s t)], (p s) ` (s t)
1.
2.
3.
4.
5.
6.
7.

(p q) r
(r q) [p (s t)]
ps
p
pq
r
r q

Premissa 1
Premissa 2
Premissa 3
Simplificao em 3
Adio em 4
Modus Ponens em 1 e 5
Adio em 6

6. [(p q) r ], (r q) [p (s t)], (p s) ` (s t)
1.
2.
3.
4.
5.
6.
7.
8.

(p q) r
(r q) [p (s t)]
ps
p
pq
r
r q
p (s t)

Premissa 1
Premissa 2
Premissa 3
Simplificao em 3
Adio em 4
Modus Ponens em 1 e 5
Adio em 6
Modus Ponens em 2 e 7

6. [(p q) r ], (r q) [p (s t)], (p s) ` (s t)
1.
2.
3.
4.
5.
6.
7.
8.
9.

(p q) r
(r q) [p (s t)]
ps
p
pq
r
r q
p (s t)
st

Premissa 1
Premissa 2
Premissa 3
Simplificao em 3
Adio em 4
Modus Ponens em 1 e 5
Adio em 6
Modus Ponens em 2 e 7
Modus Ponens em 4 e 8

6. Verificar a validade do argumento

(x = y x = z)(x = z x = 1)(x = 0 x 6= 1)(x = y ) x 6= 0

6. Verificar a validade do argumento

(x = y x = z)(x = z x = 1)(x = 0 x 6= 1)(x = y ) x 6= 0
1.
2.
3.
4.

x =y x =z
x =zx =1
x = 0 x 6= 1
x =y

Premissa 1
Premissa 2
Premissa 3
Premissa 4

6. Verificar a validade do argumento

(x = y x = z)(x = z x = 1)(x = 0 x 6= 1)(x = y ) x 6= 0
1.
2.
3.
4.
5.

x =y x
x =zx
x =0x
x =y
x =y x

=z
=1
6= 1
=1

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Silogismo Hip. em 1 e 2

6. Verificar a validade do argumento

(x = y x = z)(x = z x = 1)(x = 0 x 6= 1)(x = y ) x 6= 0
1.
2.
3.
4.
5.
6.

x =y x
x =zx
x =0x
x =y
x =y x
x =1

=z
=1
6= 1
=1

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Silogismo Hip. em 1 e 2
Modus Ponens em 4 e 5

6. Verificar a validade do argumento

(x = y x = z)(x = z x = 1)(x = 0 x 6= 1)(x = y ) x 6= 0
1.
2.
3.
4.
5.
6.
7.

x =y x
x =zx
x =0x
x =y
x =y x
x =1
x 6= 0

=z
=1
6= 1
=1

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Silogismo Hip. em 1 e 2
Modus Ponens em 4 e 5
Modus Tollens em 3 e 6

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

O rei ir caa condio suficiente para a duquesa ir ao jardim. -

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

O rei ir caa condio suficiente para a duquesa ir ao jardim. - RC DJ

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

O rei ir caa condio suficiente para a duquesa ir ao jardim. - RC DJ

O conde encontrar a princesa condio necessria e suficiente para o baro

sorrir

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

O rei ir caa condio suficiente para a duquesa ir ao jardim. - RC DJ

O conde encontrar a princesa condio necessria e suficiente para o baro

sorrir - BS CP

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

O rei ir caa condio suficiente para a duquesa ir ao jardim. - RC DJ

O conde encontrar a princesa condio necessria e suficiente para o baro

sorrir - BS CP

O conde encontrar a princesa condio necessria para a duquesa ir ao jardim

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

O rei ir caa condio suficiente para a duquesa ir ao jardim. - RC DJ

O conde encontrar a princesa condio necessria e suficiente para o baro

sorrir - BS CP

O conde encontrar a princesa condio necessria para a duquesa ir ao jardim DJ CP

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

O rei ir caa condio suficiente para a duquesa ir ao jardim. - RC DJ

O conde encontrar a princesa condio necessria e suficiente para o baro

sorrir - BS CP

O conde encontrar a princesa condio necessria para a duquesa ir ao jardim DJ CP

O baro no sorriu

7. O rei ir caa condio necessria para o duque sair do castelo, e condio

suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa
condio necessria e suficiente para o baro sorrir e condio necessria para a
duquesa ir ao jardim. O baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
(c) O rei no foi caa e o conde no encontrou a princesa.
(d) O rei foi caa e a duquesa no foi ao jardim.
(e) O duque saiu do castelo e o rei no foi caa.
Vamos ver nossas proposies:
I

O rei ir caa condio necessria para o duque sair do castelo - DC RC

O rei ir caa condio suficiente para a duquesa ir ao jardim. - RC DJ

O conde encontrar a princesa condio necessria e suficiente para o baro

sorrir - BS CP

O conde encontrar a princesa condio necessria para a duquesa ir ao jardim DJ CP

O baro no sorriu - BS

1.
2.
3.
4.
5.

DC RC
RC DJ
BS CP
DJ CP
BS

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5

1.
2.
3.
4.
5.
6.

DC RC
RC DJ
BS CP
DJ CP
BS
DC DJ

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5
Silogismo Hip. em 1 e 2

1.
2.
3.
4.
5.
6.
7.

DC RC
RC DJ
BS CP
DJ CP
BS
DC DJ
(BS CP) (CP BS)

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5
Silogismo Hip. em 1 e 2
Equivalncia em 3

1.
2.
3.
4.
5.
6.
7.
8.

DC RC
RC DJ
BS CP
DJ CP
BS
DC DJ
(BS CP) (CP BS)
CP BS

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5
Silogismo Hip. em 1 e 2
Equivalncia em 3
Simplificao em 7

1.
2.
3.
4.
5.
6.
7.
8.
9.

DC RC
RC DJ
BS CP
DJ CP
BS
DC DJ
(BS CP) (CP BS)
CP BS
CP

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5
Silogismo Hip. em 1 e 2
Equivalncia em 3
Simplificao em 7
Modus Tollens em 5 e 8

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

DC RC
RC DJ
BS CP
DJ CP
BS
DC DJ
(BS CP) (CP BS)
CP BS
CP
DJ

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5
Silogismo Hip. em 1 e 2
Equivalncia em 3
Simplificao em 7
Modus Tollens em 5 e 8
Modus Tollens em 4 e 9

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.

DC RC
RC DJ
BS CP
DJ CP
BS
DC DJ
(BS CP) (CP BS)
CP BS
CP
DJ
RC

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5
Silogismo Hip. em 1 e 2
Equivalncia em 3
Simplificao em 7
Modus Tollens em 5 e 8
Modus Tollens em 4 e 9
Modus Tollens em 2 e 10

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

DC RC
RC DJ
BS CP
DJ CP
BS
DC DJ
(BS CP) (CP BS)
CP BS
CP
DJ
RC
DC

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5
Silogismo Hip. em 1 e 2
Equivalncia em 3
Simplificao em 7
Modus Tollens em 5 e 8
Modus Tollens em 4 e 9
Modus Tollens em 2 e 10
Modus Tollens em 1 e 11

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

DC RC
RC DJ
BS CP
DJ CP
BS
DC DJ
(BS CP) (CP BS)
CP BS
CP
DJ
RC
DC

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Premissa 5
Silogismo Hip. em 1 e 2
Equivalncia em 3
Simplificao em 7
Modus Tollens em 5 e 8
Modus Tollens em 4 e 9
Modus Tollens em 2 e 10
Modus Tollens em 1 e 11

Assim, temos:
I

CP - O conde no encontrou a princesa.

DJ - A duquesa no foi ao jardim.

RC - O rei no foi caa.

DC - O duque no saiu do castelo.

CP DJ RC DC

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa.

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)
(c) O rei no foi caa e o conde no encontrou a princesa.

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)
(c) O rei no foi caa e o conde no encontrou a princesa.
(RC CP)

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)
(c) O rei no foi caa e o conde no encontrou a princesa.
(RC CP)
(d) O rei foi caa e a duquesa no foi ao jardim.

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)
(c) O rei no foi caa e o conde no encontrou a princesa.
(RC CP)
(d) O rei foi caa e a duquesa no foi ao jardim. (RC DJ)

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)
(c) O rei no foi caa e o conde no encontrou a princesa.
(RC CP)
(d) O rei foi caa e a duquesa no foi ao jardim. (RC DJ)
(e) O duque saiu do castelo e o rei no foi caa.

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)
(c) O rei no foi caa e o conde no encontrou a princesa.
(RC CP)
(d) O rei foi caa e a duquesa no foi ao jardim. (RC DJ)
(e) O duque saiu do castelo e o rei no foi caa. (DC RC)

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)
(c) O rei no foi caa e o conde no encontrou a princesa.
(RC CP)
(d) O rei foi caa e a duquesa no foi ao jardim. (RC DJ)
(e) O duque saiu do castelo e o rei no foi caa. (DC RC)

7. O rei ir caa condio necessria para o duque sair do castelo,

e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim. O
baro no sorriu. Logo:
(a) A duquesa foi ao jardim ou o conde encontrou a princesa.
(DJ CP)
(b) Se o duque no saiu do castelo, ento o conde encontrou a
princesa. (DC CP)
(c) O rei no foi caa e o conde no encontrou a princesa.
(RC CP)
(d) O rei foi caa e a duquesa no foi ao jardim. (RC DJ)
(e) O duque saiu do castelo e o rei no foi caa. (DC RC)
Resposta correta: letra (c)

5. (p s), (p q), [(s r ) t], (q r ) ` t

5. (p s), (p q), [(s r ) t], (q r ) ` t

1.
2.
3.
4.

(p s)
(p q)
[(s r ) t]
(q r )

Premissa 1
Premissa 2
Premissa 3
Premissa 4

5. (p s), (p q), [(s r ) t], (q r ) ` t

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

(p s)
(p q)
[(s r ) t]
(q r )
p
q
s
r
sr
t

Premissa 1
Premissa 2
Premissa 3
Premissa 4
Simplificao em 2
Simplificao em 2
Modus Ponens em 5 e 1
Modus Ponens em 6 e 4
Conjuno em 7 e 8
Modus Ponens em 9 e 3