★ 形成性考核作业 ★
五、证明题
1．试证明 (P?(Q??R))??P?Q与? (P??Q)等价． 证：(P?(Q??R))??P?Q?(?P?(Q??R))??P?Q ?(?P?Q??R)??P?Q
?(?P??P?Q)?(Q??P?Q)?(?R??P?Q) ?(?P?Q)?(?P?Q)?(?P?Q??R) ??P?Q （吸收律） ??(P??Q) （摩根律）
2．试证明(?x)(P(x) ?R(x))?(?x)P(x) ? (?x)R(x)．
证明：
(1) (?x)(P(x) ?R(x)) P (2) P(a) ?R(a) ES(1) (3) P(a) T(2) (4) (?x)P(x) EG(3) (5) R(a) T(2) (6) (?x) R(x) EG(5) (7) (?x)(P(x) ?R(x)) T(4)(6)
6
★ 形成性考核作业 ★
请您删除一下内容，O(∩_∩)O谢谢！！！【China's 10 must-see animations】The Chinese animation industry has seen considerable growth in the last several years. It went through a golden age in the late 1970s and 1980s when successively brilliant animation work was produced. Here are 10 must-see classics from China's animation outpouring that are not to be missed. Let's recall these colorful images that brought the country great joy. Calabash Brothers Calabash Brothers (Chinese: 葫芦娃) is a Chinese animation TV series produced by Shanghai Animation Film Studio. In the 1980s the series was one of the most popular animations in China. It was released at a point when the Chinese animation industry was in a relatively downed state compared to the rest of the international community. Still, the series was translated into 7 different languages. The episodes were produced with a vast amount of paper-cut animations. Black Cat Detective Black Cat Detective (Chinese: 黑猫警长) is a Chinese animation television series produced by the Shanghai Animation Film Studio. It is sometimes known as Mr. Black. The series was originally aired from 1984 to 1987. In June 2006, a rebroadcasting of the original series was announced. Critics bemoan the series' violence, and lack of suitability for children's education. Proponents of the show claim that it is merely for entertainment. Effendi \and teacher in Turkish, is the respectful name for people who own wisdom and knowledge. The hero's real name was Nasreddin. He was wise and witty and, more importantly, he had the courage to resist the exploitation of noblemen. He was also full of compassion and tried his best to help poor people. Adventure of Shuke and Beita【舒克与贝塔】 Adventure of Shuke and Beita (Chinese: 舒克和贝塔) is a classic animation by Zheng Yuanjie, who is known as King of Fairy Tales in China. Shuke and Beita are two mice who don't want to steal food like other mice. Shuke became a pilot and Beita became a tank driver, and the pair met accidentally and became good friends. Then they befriended a boy named Pipilu. With the help of PiPilu, they co-founded an airline named Shuke Beita Airlines to help other animals. Although there are only 13 episodes in this series, the content is very compact and attractive. The animation shows the preciousness of friendship and how people should be brave when facing difficulties. Even adults recalling this animation today can still feel touched by some scenes. Secrets of the Heavenly Book Secrets of the Heavenly Book, (Chinese: 天书奇谈) also referred to as \Sealed Book\the Heavenly Book\in 1983. The film was produced with rigorous dubbing and fluid combination of music and vivid animations. The story is based on the classic literature \Zhuan\Suppression of the Demons\Feng Menglong. Yuangong, the deacon, opened the shrine and exposed the holy book to the human world. He carved the book's contents on the stone wall of a white cloud cave in the mountains. He was then punished with guarding the book for life by the jade emperor for breaking heaven's law. In order to pass this holy book to human beings, he would have to get by the antagonist fox. The whole animation is characterized by charming Chinese painting, including pavilions, ancient architecture, rippling streams and crowded markets, which fully demonstrate the unique beauty of China's natural scenery. Pleasant Goat and Big Big Wolf【喜洋洋与灰太狼】 Pleasant Goat and Big Big Wolf (Chinese:喜羊羊与灰太狼) is a Chinese animated television series. The show is about a group of goats living on the Green Pasture, and the story revolves around a clumsy wolf who wants to eat them. It is a popular domestic animation series and has been adapted into movies. Nezha Conquers the Dragon King（Chinese: 哪吒闹海） is an outstanding animation issued by the Ministry of Culture in 1979 and is based on an episode from the Chinese mythological novel \ A mother gave birth to a ball of flesh shaped like a lotus bud. The father, Li Jing, chopped open the ball, and beautiful boy, Nezha, sprung out. One day, when Nezha was seven years old, he went to the nearby seashore for a swim and killed the third son of the Dragon King who was persecuting local residents. The story primarily revolves around the Dragon King's feud with Nezha over his son's death. Through bravery and wit, Nezha finally broke into the underwater palace and successfully defeated him. The film shows various kinds of attractive sceneries and the traditional culture of China, such as spectacular mountains, elegant sea waves and exquisite ancient Chinese clothes. It has received a variety of awards. Havoc in Heaven The story of Havoc in Heaven（Chinese: 大闹天宫）is based on the earliest chapters of the classic story Journey to the West. The main character is Sun Wukong, aka the Monkey King, who rebels against the Jade Emperor of heaven. The stylized animation and drums and percussion accompaniment used in this film are heavily influenced by Beijing Opera traditions. The name of the movie became a colloquialism in the Chinese language to describe someone making a mess. Regardless that it was an animated film, it still became one of the most influential films in all of Asia. Countless cartoon adaptations that followed have reused the same classic story Journey to the West, yet many consider this 1964 iteration to be the most original, fitting and memorable, The Golden Monkey Defeats a Demon【金猴降妖】 The Golden Monkey Defeats a Demon (Chinese: 金猴降妖), also referred as \is adapted from chapters of the Chinese classics \ The five-episode animation series tells the story of Monkey King Sun Wukong, who followed Monk Xuan Zang's trip to the West to take the Buddhistic sutra. They met a white bone evil, and the evil transformed human appearances three times to seduce the monk. Twice Monkey King recognized it and brought it down. The monk was unable to recognize the monster and expelled Sun Wukong. Xuan Zang was then captured by the monster. Fortunately Bajie, another apprentice of Xuan Zang, escaped and persuaded the Monkey King to come rescue the monk. Finally, Sun kills the evil and saves Xuan Zang. The outstanding animation has received a variety of awards, including the 6th Hundred Flowers Festival Award and the Chicago International Children's Film Festival Award in 1989. McDull【麦兜】 McDull is a cartoon pig character that was created in Hong Kong by Alice Mak and Brian Tse. Although McDull made his first appearances as a supporting character in the McMug comics, McDull has since become a central character in his own right, attracting a huge following in Hong Kong. The first McDull movie McMug Story My Life as McDull documented his life and the relationship between him and his mother.The McMug Story My Life as McDull is also being translated into French and shown in France. In this version, Mak Bing is the mother of McDull, not his father..
7
相关推荐：
loading