fydhkjnmgdv

e r s i d a d e F e d e r a l d e O u r o P r e t o | 1 Lógica I Exercícios resolvidos de árvores de lógica proposicional Por Matheus Silva e Mayra Moreira Professor Desidério Murcho Universidade Federal de Ouro Preto Departamento de Filosofia 1. P → (Q ∨ S), ¬Q, ¬S ⊢ ¬P 1. P → (Q ∨ S) 2. ¬Q 3. ¬S 4. ¬¬P 5. P (4) ╱╲ 5. ¬P (1) X 6. Q ∨ S (1) ╱╲ 7. Q (6) 8. S (6) X X A forma argumentativa é válida, pois todos os ramos da árvore lógica fecham. 2- P ∨ Q, P→ R, ¬R → ¬Q ⊢ R 1. P ∨ Q 2. P →R 3. ¬R → ¬Q 4. ¬R ╱╲ 5. ¬¬R (3) 6. ¬Q (3) 7. R (5) ╱╲ X 8. P (1) 9. Q (1) ╱╲ X 10. ¬P (2) 11. R (2) X X A forma argumentativa é válida, pois todos os ramos da árvore lógica fecham. U n i v e r s i d a d e F e d e r a l d e O u r o P r e t o | 2 3- P → (R ∨ S), ¬R ∧ Q, ¬S ⊢ ¬P 1. P → (R ∨ S) 2. ¬R ∧ Q 3. ¬S 4. ¬¬P 5. P (4) 6. ¬R (2) 7. Q (2) ╱╲ 8. ¬P (1) X 9. R ∨ S (1) ╱╲ 10. R (9) X 11. S (9) X A forma argumentativa é válida, pois todos os ramos da árvore lógica fecham. 4 - ¬ (P ∨ Q), ¬P → R ⊢ R 1. ¬(P ∨ Q) 2. ¬P → R 3. ¬R 4. ¬P (1) 5. ¬Q (1) ╱╲ …

%2 3 $4 05! # " % ! & + # " & 0 1 " ' $ & & % %/ " " 67 67 3 ! #% " & ! ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, &* ! %' " # " ! % * !$ 8 & ! " $ ! #9" %$ % " +# ! / % ' ! % . " :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: / # 0 1 %/ " " ! " %2 3 $4 05! :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 2 & ' ,,,,,,,,, " ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, " &…

D ATA: O R Ç A M E N T O 2 2 /0 4 /2 0 1 4 N A C IO N A L P R O D U T O S E L E T R IC O S L T D A C N P J-1 1 .6 1 1 4 4 3 / 0 0 0 1 -3 5 IN S C .E S T .-1 0 .4 6 5 2 1 1 -0 C O N T A T O : R O N A L D O P IN H E IR O C L IE N T E : S E N A I A P A R E C ID A V E N D E D O R : A L ÍP IO E S T E V A M EN DEREÇO : FRETE: P Z E N T R E G A : IM E D IA T O P Z P A G T º : 3 0 D IA S IT E M V A L ID A D E D A P R O P O S T A : 1 0 D IA S M ARCA U N D Q…

12* 0 #, 3 4 18 1 : # $ ) ;5 )8 # := , - <9 ) $ @ * 2 5 - 67 - 69 1 - <' - <6 * - 7& - 79 1 1 ) # # # @ A - 9B ) )C - 9? - .B $ - .6 0 D E 0 D - .9 ) F; - GB 1 - G7 - G. H - B'& I - B'< > - B'G # - BB7 - ?' - ?< - ?. 3 ,@2 # 1 + # 1 # # # 1 # / # 8 01 01 01 # F # K # ) H # + # # # ) # @ 0 # * # 1 K ) * ,- B&& , - B&& J - B&? - B6B - B6? - B7B - B7? - B<B 1 - B<9 - B?& - B?< - B9' - B9< - B.B 1 - B.< 1 - BG' - BG< - BGG - &'< - &BB - &B9 K…

#, 3 4 18 1 : # $ ) ;5 )8 # := , - $ $ 4 P2 : 4 0 4 P* ( 28 R $ M " T D 8 " ) J $ " , D 4 - ( M R - PL QS ( " ( #8J J 4 4 J T " : "K 3 4 ( T 4 S" "L F 8 - ; T 48 $ S" 4 : J $ " L J I : " , 8 8J " M 8 - P0 J M : M S" 8 R " 1 8 " T ( M M M S" P " (0: : 4 R R : : R ( := " D 8 8 ( J " F 4 : $ $ 4 : $ M 3 T " , $ C : J M M " ) " , 29 P2 M 8 : ) $ ( 2 : N N ) : " 0 : " , $ 4 D Q M " 0 8 8 M M : " M T : 4 M "X N : M N M4 J 4 ( : : D :…

S C I O S U N 2 V O 0 C 1 5 A – D O 1 º S S – E 2 M ª E C S H T A R E M A D A ( 1 ª C H A M A C D C O D N . º I 1 0 N S E 1 C - R N C I E C I Ê A N C I A S 0 0 5 0 3 1 7 9 0 C 1 4 1 0 1 5 4 4 4 8 5 0 C 1 4 1 0 2 3 2 9 9 9 0 1 F 1 4 1 0 7 1 0 1 4 8 1 4 1 4 1 0 9 1 0 5 1 5 0 2 L A 1 4 1 0 1 2 2 3 0 2 4 7 L O 1 4 1 0 0 3 1 6 2 7…

0 #, 3 4 18 1 : # $ ) ;5 )8 # := , - 4 Q 1 Q 1 F; Q " , M 4 " X : N, ) F; M 4 # " , M M K F; - J J8 3 : N R : N : " M ;$ R N $ ; Q : : M 8 - " : T ; " # M " $ J M : 39 ) 4 : 8 8 "X T : " $ H - " : J M 8 " " L $ M J "0 M: M : " : " * M " , M: Q F , : 4 $ J 4…

+'4, , & '( ) * +, . / - 7 9 0 : = =$ $> : $ @ 8 A $ @ " 8 & B $ 6 % 6 $ D & * '++,,, ) ) B $ @ 8 @ 8 $ B $ % 6 @ > & & $ 1 % 7$ & 8 ;$ $ % 7$ 8 $ 9 +''( @ 8 $ @ / 8 $ E$ ,+ , B $ 6 ( +, $ % 9 ;< 0 $ @ 8 ,4 , )$ + 5 1 : % +''? 6 8 ! $ @ 8 $@ C A 2/ ) # 3 & $ @ 8 A ! ! ! $ $ $ & $@ C $ @ 8 6 & @ 8 @ 8 $ ) ) $ 2 > 3 % @ > % & ; 2 > ;3 % @ > % & F= 7B $ 2 / % 3 & % @ > 1 2 > 13 % ; ! 0 @ 9 $ 2 93 ;0 B $ $ $ $ @ 8 $ @ 8 < $ : ;…

.# # # ///, $, ,) 0$ # 0 1 # # ! # 23 # # #) 4 #5 2 6 3#7 # 8 8# 1- 8# 7 # 9 % # $4# : $ # ;)4 < : % 2 < . ) =4 % !> ?>@ ;=@ !>2 .; %!A @ 2 %@ =B2 && ' >2 *@ %;> ;>CD@ .2 A;1 >!A%@ 2 8;> 2 ! # 5 A# 2 E , 8, %F # $ $+ ( , ' $+ @ $, ; # 9 'G % ) . $ H ## # $ # -8 ! 9 G ## % # A$ ///,$ # , 0$ # $ $ 2 I && J 3 C ; # K $# ! 6 # -# L @ L @ @ L @@ @ L @ ( L ( L (@ L (@ @ L (@@ @ L @ M L M L M@ L M@ @ L M@@ @ L M@ ( L M( L M(@ L…

.# # # ///, $, ,) 0$ # 0 1 # # ! # 23 # # #) 4 #5 2 6 3#7 # 8 8# 1- 8# 7 # 9 % # $4# : $ # ;)4 < : % 2 < . ) =4 % !> ?>@ ;=@ !>2 .; %!A @ 2 %@ =B2 && ' >2 *@ %;> ;>CD@ .2 A;1 >!A%@ 2 8;> 2 ! # 5 A# 2 E , 8, %F # $ $+ ( , ' $+ @ $, ; # 9 'G % ) . $ H ## # $ # -8 ! 9 G ## % # A$ ///,$ # , 0$ # $ $ 2 I && J 3 C ; # K $# ! 6 # -# L @ L @ @ L @@ @ L @ ( L ( L (@ L (@ @ L (@@ @ L @ M L M L M@ L M@ @ L M@@ @ L M@ ( L M( L M(@ L…