²é¿´: 459  |  »Ø¸´: 2

hkcmd

гæ (³õÈëÎÄ̳)

[½»Á÷] How to proof the propositional logic is true? ÒÑÓÐ1È˲ÎÓë

There are three sentences :
smartphone A has 20GB RAM.
smartphone B has 288GB RAM.
smartphone C has 40GB RAM.

Question:
smartphone B has the most RAM of  these three smartphones.
Is it true or false? Please write the process with propositional methods  .

Thank you for your share !
»Ø¸´´ËÂ¥
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

feixiaolin

ÈÙÓþ°æÖ÷ (ÎÄ̳¾«Ó¢)

ÓÅÐã°æÖ÷

¡ï
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
The RAM that smartphone has can not exceed  which a personar cmputer has.
It is false.
2Â¥2014-01-14 13:35:16
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

hkcmd

гæ (³õÈëÎÄ̳)

ÒýÓûØÌû:
2Â¥: Originally posted by feixiaolin at 2014-01-14 13:35:16
The RAM that smartphone has can not exceed  which a personar cmputer has.
It is false.

I'm very sorry that the volume of RAM of smartphones are MB not GB.
About the propositional logic£¬I had been learned the part one from the textbook ,but I still couldn't  understand the relationship between the conditional sentences and question sentence . It never be like this: the propositionals of q > p are a compound propositional .
It is a exercise that has no answer in Book.
Thank you.
3Â¥2014-01-14 15:19:24
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
Ïà¹Ø°æ¿éÌø×ª ÎÒÒª¶©ÔÄÂ¥Ö÷ hkcmd µÄÖ÷Ìâ¸üÐÂ
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] 284Çóµ÷¼Á +3 junqihahaha 2026-03-26 3/150 2026-03-26 10:07 by zyc³¿³¿³¿
[¿¼ÑÐ] ²ÄÁÏÓ뻯¹¤304ÇóBÇøµ÷¼Á +3 Çñgl 2026-03-26 3/150 2026-03-26 09:42 by ÍõЦÓîÒ»¶¨ÊÇÑо
[¿¼ÑÐ] Ò»Ö¾Ô¸ Î÷±±´óѧ ×Ü·Ö282 Ó¢ÓïÒ»62 Çóµ÷¼Á +4 18419759900 2026-03-25 4/200 2026-03-26 08:53 by zhyzzh
[¿¼ÑÐ] ²ÄÁÏѧ˶333Çóµ÷¼Á +4 ±±µÀÏï 2026-03-24 4/200 2026-03-25 14:16 by mapenggao
[¿¼ÑÐ] 0854È˹¤ÖÇÄÜ·½ÏòÕÐÊÕµ÷¼Á +4 ÕÂСÓã567 2026-03-24 4/200 2026-03-25 13:29 by 2177681040
[¿¼ÑÐ] 284Çóµ÷¼Á +15 Zhao anqi 2026-03-22 15/750 2026-03-25 12:51 by wht0531
[¿¼ÑÐ] 0854µç×ÓÐÅÏ¢Çóµ÷¼Á 324 +4 Promise-jyl 2026-03-23 4/200 2026-03-25 11:36 by Sugarlight
[¿¼ÑÐ] 306Çó0703µ÷¼ÁÒ»Ö¾Ô¸»ªÖÐʦ·¶ +10 Ö½Óãly 2026-03-21 11/550 2026-03-24 17:22 by qingfeng258
[¿¼ÑÐ] һ־Ըɽ¶«´óѧҩѧѧ˶Çóµ÷¼Á +3 ¿ª¿ªÐÄÐÄû·³ÄÕ 2026-03-23 4/200 2026-03-24 00:06 by ¿ª¿ªÐÄÐÄû·³ÄÕ
[¿¼ÑÐ] 291Çóµ÷¼Á +8 hhhhxn.. 2026-03-23 8/400 2026-03-23 23:15 by peike
[¿¼ÑÐ] 350Çóµ÷¼Á +6 weudhdk 2026-03-19 6/300 2026-03-23 15:47 by tangyuan0840221
[¿¼ÑÐ] Ò»Ö¾Ô¸070300Õã´ó»¯Ñ§358·Ö£¬Çóµ÷¼Á£¡ +4 ËÖËÖÓã.. 2026-03-21 4/200 2026-03-23 08:12 by Iveryant
[¿¼ÑÐ] Ò»Ö¾Ô¸»ªÖÐũҵ071010£¬×Ü·Ö320Çóµ÷¼Á +5 À§À§À§À§À¤À¤ 2026-03-20 6/300 2026-03-22 17:41 by hxsm
[¿¼ÑÐ] 306Çóµ÷¼Á +5 À´ºÃÔËÀ´À´À´ 2026-03-22 5/250 2026-03-22 16:17 by BruceLiu320
[¿¼ÑÐ] Çóµ÷¼ÁԺУÐÅÏ¢ +6 CX 330 2026-03-21 6/300 2026-03-22 15:25 by ÎÞи¿É»÷111
[¿¼ÑÐ] ÉúÎïѧµ÷¼Á +5 Surekei 2026-03-21 5/250 2026-03-22 14:39 by tcx007
[¿¼ÑÐ] Çóµ÷¼Á +4 ÒªºÃºÃÎÞÁÄ 2026-03-21 4/200 2026-03-21 18:57 by ѧԱ8dgXkO
[¿¼ÑÐ] Ò»Ö¾Ô¸ÖØÇì´óѧ085700×ÊÔ´Óë»·¾³×Ü·Ö308Çóµ÷¼Á +7 īīĮ 2026-03-20 7/350 2026-03-21 16:36 by barlinike
[¿¼ÑÐ] Ò»Ö¾Ô¸Î÷°²½»Í¨´óѧ ѧ˶ 354Çóµ÷¼Á211»òÕß˫һÁ÷ +3 ÎÒÏëÒª¶ÁÑо¿Éú 2026-03-20 3/150 2026-03-20 20:13 by JourneyLucky
[¿¼ÑÐ] 320Çóµ÷¼Á0856 +3 ²»ÏëÆðÃû×Ö112 2026-03-19 3/150 2026-03-19 22:53 by ѧԱ8dgXkO
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û