[Gram , griego] athenaze. an introduction to ancient greek
Exercicios de lógica para o dia 22112010 parte l
1. V ↄ ≡
V V V V V V
V F V F F F
F V V F V F
F F F F V V
1)
V ↄ V
2)
V ↄ F
3)
V ↄ V
4)
V ↄ V
V ↄ(V ↄV)
Resposta V
A ↄ(B ↄC)
V ↄ(V ↄF)
A ↄ(B ↄZ)
Resposta F
V ↄ(F ↄV)
A ↄ(Y ↄC)
Resposta V
Exercicios
I. Se A,B,e C são enunciados VERDADEIROS e X,Y e Z são enunciados FALSOS , determinar quais dos seguintes são verdadeiros:
V ↄ(F ↄF)
A ↄ(Y ↄZ)
2. 5)
F ↄ V
6)
F ↄ F
7)
F ↄ V
8)
F ↄ V
9)
V ↄ F
Resposta V
F ↄ(F ↄF)
X ↄ(Y ↄZ)
Resposta V
(V ↄV)ↄf
(A ↄB)ↄZ
X ↄ(B ↄC)
Resposta V
F ↄ(V ↄF)
X ↄ(B ↄZ)
Resposta V
F ↄ(F ↄV)
X ↄ(Y ↄC)
Resposta V
F ↄ(V ↄV)
Resposta F
3. 10)
V ↄ F
11)
VↄF
Resposta F
12)
VↄF
Resposta F
13)
FↄF
Resposta V
14)
(F ↄF)ↄF
(X ↄY)ↄZ
Resposta F
*(XↄY)ↄB+ↄZ
*(BↄZ)ↄB+ↄZ
*(XↄA)ↄX+ↄX
*FↄV+ↄF
*(FↄF)ↄV+ↄF
*VↄV+ↄF
*(VↄF)ↄV+ↄF
*(FↄV)ↄF+ↄF
*VↄF+ↄF
*Fↄ(FↄF)+ↄ*(FↄF)ↄF+
*Xↄ(YↄZ)+ↄ*(XↄY)ↄZ+
4. VↄF
Resposta F
15)
,VↄV-ↄ,FↄV-
VↄV
Resposta V
16) *(A ↄ Z) .(Z ↄ A)+ ↄ ~*(A .Z) v (~A v ~Z)+
*(V ↄ F) . (FↄV)+ ↄ~*(V.F) v(~V v ~F)+
* F . V+ ↄ ~* F v V+
F ↄ F
Resposta V
17) , * X ↄ ( Y ↄ Z) + ↄ * ( X . Y ) ↄ Z + - ↄ * ( X ↄ A) ↄ ( B ↄ Y ) +
, * F ↄ ( F ↄ F) + ↄ * ( F . F ) ↄ F + - ↄ * ( F ↄ V) ↄ ( V ↄ F ) +
, * F ↄ V + ↄ * F ↄ F + - ↄ * (V ↄ V +
, V ↄ V - ↄ V
V ↄ V
,*VↄV+ↄv-ↄ,Fↄ*VↄV+-
,* V ↄ ( V ↄ V)+ ↄ ~F- ↄ , F ↄ *(V . V) ↄ V+-
*FↄV+ↄ*VↄF+
,*A ↄ (B ↄ C)+ ↄ ~X- ↄ , X ↄ *(A . B) ↄ C+-
5. Resposta V
18) , * A ↄ ( B ↄ C ) + ↄ * ( A . B ) ↄ C + - ↄ * ( A ↄ B ) ↄ ( C ↄ Z ) +
, * V ↄ ( V ↄ V ) + ↄ * ( V . V ) ↄ V + - ↄ * ( V ↄ V ) ↄ ( V ↄ F ) +
, * V ↄ V+ ↄ * V ↄ V + - ↄ * V ↄ F +
, V ↄ V - ↄ F
V ↄ F
Resposta F
19) , * ( A ↄ B ) . ( B ↄ A ) + ↄ * (A . B ) v ( ~ A . ~B ) + - ↄ , * ( X ↄ Y ) . ( Y ↄ X ) + ↄ * ( ~X . ~Y ) ↄ ( X . Y ) + -
, * ( V ↄ V ) . ( V ↄ V ) + ↄ * ( V . V ) v ( ~ V . ~V ) + - ↄ , * ( F ↄ F ) . ( F ↄ F ) + ↄ * ( ~F . ~F ) ↄ ( F . F ) + -
, * V . V + ↄ * V v F+ - ↄ , * V . V+ ↄ * V ↄ F+ -
, V ↄ V- ↄ , V ↄ F -
V ↄ F
Resposta F
20) , *( X ↄ Y ) . ( Y ↄ X ) + ↄ * ( X . Y ) v ( ~ X . ~ Y ) + - ↄ , * ~ ( A . B ) . ~( A . ~B ) ↄ * ~ ( ~ A . B ) ↄ ( ~ A . ~ B ) + -
, * (F ↄ F ) . ( F ↄ F ) + ↄ * ( F . F ) v ( ~ F . ~ F ) + - ↄ , * ~ ( V . V ) . ~( V . ~V ) ↄ * ~ ( ~ V . V ) ↄ ( ~ V . ~ V ) + -
, * V . V + ↄ * V v V+ - ↄ , * V . V v F ↄ F+ -
, V ↄ V - ↄ , V v V-
V ↄ V
Resposta V
São Verdadeiros ; 1,3,4,5,6,7,8,13,15,16,17 e 20