1) Nos exemplos abaixo, verifique se os conjuntos de sentenas so consistentes.

Justifique
suas respostas: com um modelo de , se for consistente com um ar!umento, se for
inconsistente.
a) " #x$%&
'
x% (
1
x), x$%&
'
%x )(
1
x), x%)&
'
x%*
b) " #x$%&
'
x% (
1
x), x$%&
'
%x )(
1
x), x%&
'
x%*
c) " #x %$&
'
x% $+
1
x ,
1
x)), x$+
1
x ,
1
x), x%&
'
x%*
d) " #$x(
1
x x+
1
x), x$+
1
x ,
1
x), x$,
1
x (
1
x), x+
1
x*
e) " #x$(
1
x +
1
x), x&
'
xx, x$(
1
x %$&
'
x% &
'
%x)), x+
1
x*
') -eja o se!uinte conjunto:
" #x$%(
'
x% %+
'
%x), x% $$J
1
x ,
1
x) +
'
x%), x+
'
xx*
.uais das sentenas abaixo so conseq/0ncia de , quais no so1 Justifique
adequadamente cada uma de suas respostas.
a) xJ
1
x
b) x,
1
x
c) x$J
1
x ,
1
x)
d) x% (
'
x%
e) x $J
1
x ,
1
x)
2) 3ara cada um dos conjuntos do exerc4cio 1):
a) d0 exemplo de uma sentena que seja consequ0ncia de
b) se !ama for consistente, d0 exemplo de uma sentena que no seja consequ0ncia
de .
5) Nos exemplos abaixo, verifique se a sentena 6 consequ0ncia do conjunto de
sentenas .
a) " #x$&
'
xx $+
1
x ,
1
x)), #$x+
1
x x(
1
x), x%&
'
x%*
" x(
1
x
b) " #x$(
1
x +
1
x), x$+
1
x (
1
x), x%$$(
1
x +
1
%) &
'
x%)*
" x%&
'
x%
c) " #x%&
'
x%, x%$$(
1
x +
1
%) &
'
x%), x(
1
x*
" x+
1
x
7) 8onsidere os conjuntos de sentenas abaixo:

1
" #$x+
1
x x$,
1
x (
1
x)), x$+
1
x ,
1
x), ,
1
a*

'
" #x$%&
'
x% %-
'
%x), x%$&
'
x% -
'
x%), x&
'
xx, x%$-
'
x% &
'
x%)*

2
" #x%9$$&
'
x% &
'
%9) &
'
x9), x&
'
xx, x%&
'
x%*

5
" #$x%&
'
x% x&
'
xx), %x&
'
x%*

7
" #x$(
1
x %&
'
x%), x$+
1
x %&
'
x%), x$(
1
x +
1
x), x%&
'
x%*

:
" #x&
'
xx, $x&
'
xx (
1
a), $+
1
a (
1
a)*
a) ;etermine se os conjuntos acima apresentados so ou no consistentes
b) ;etermine se esses conjuntos so verifuncionalmente consistentes
c) 3ara cada um dos conjuntos, d0 exemplo:
i) de uma sentena que seja consequ0ncia do conjunto
ii) de uma sentena que seja consequ0ncia tautol<!ica do conjunto.