Your SlideShare is downloading. ×
Exercicios de lógica para o dia 22112010 parte l
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×

Introducing the official SlideShare app

Stunning, full-screen experience for iPhone and Android

Text the download link to your phone

Standard text messaging rates apply

Exercicios de lógica para o dia 22112010 parte l

1,012
views

Published on


0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
1,012
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
4
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 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