证明 [tex=11.357x1.357]iz/Wf0KabVZ2hGLWFDxvgyDzkT6ZT0pnXxvb7c8h/Ibn9V6a1tNMXzSntHmtIBCKq0uRbZkfr/oXkBGgBDQMEXL1+EQJCPgS9DoKhqUvnEg=[/tex] 其中 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 为谓词逻辑中任何公式.

2022-06-11

证明 [tex=11.357x1.357]iz/Wf0KabVZ2hGLWFDxvgyDzkT6ZT0pnXxvb7c8h/Ibn9V6a1tNMXzSntHmtIBCKq0uRbZkfr/oXkBGgBDQMEXL1+EQJCPgS9DoKhqUvnEg=[/tex] 其中 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 为谓词逻辑中任何公式.

答案：

.[b]       证明[/b]   令 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 是任意解释 [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 中任给赋值. [br][/br]       先证 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 满足 [tex=10.286x1.357]uPc1ro8NObp2ON8Fb8mZh7mxqdh8EjhHdyqmfjgJZ8Yw5kZ9qMHK3dQRcfDv/OjUMFXcWIWR67TAcG5rH1kPcAJslD/ywfUpj4O/5zb8bP4=[/tex] 若 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 满足 [tex=4.786x1.357]uPc1ro8NObp2ON8Fb8mZh6gBrwvYmiwzIqan+dG0m78=[/tex] 则存在与 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 是 [tex=1.357x1.071]htY693TSuuW38QsVGyad6w==[/tex] 等同赋值 [tex=0.786x1.143]58PERfoiTFh+NssVtW9wjQ==[/tex], 使得 [tex=0.786x1.143]58PERfoiTFh+NssVtW9wjQ==[/tex] 满足 [tex=2.857x1.357]CXG13vtI9eOnW+kNJWUICmHjz2pzJjhCd+DhEpv+Nck=[/tex] 于是也存在与 [tex=0.786x1.143]58PERfoiTFh+NssVtW9wjQ==[/tex] 是 [tex=1.286x1.143]3C2vlwXDHREralw7XiwsVQ==[/tex] 等同赋值 [tex=1.286x1.357]EUTR+fLMjvEtEyK7exkIV+TcfdfPhZlhlKxLR1GOSSE=[/tex] 使 [tex=1.0x1.143]EUTR+fLMjvEtEyK7exkIV1EhhBB4UoMHCflTACaSloE=[/tex] 满足 [tex=1.071x1.0]KJXwUJ/dI0NQwC1mt67WfA==[/tex] [br][/br]       在与 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 是 [tex=1.286x1.143]3C2vlwXDHREralw7XiwsVQ==[/tex] 等同赋值中找一个 [tex=0.786x0.786]RaAINhYHT2QFWQ2tWIaawg==[/tex],使得 [tex=5.286x1.429]Olza0gLgPhXKeMZDgoPjnfaxGDiaCXKm4ndrsfKZC9U=[/tex] 则 [tex=0.786x0.786]RaAINhYHT2QFWQ2tWIaawg==[/tex] 是与 [tex=1.0x1.143]EUTR+fLMjvEtEyK7exkIV1EhhBB4UoMHCflTACaSloE=[/tex] 是 [tex=1.357x1.071]htY693TSuuW38QsVGyad6w==[/tex] 等同赋值. 由于 [tex=1.0x1.143]EUTR+fLMjvEtEyK7exkIV1EhhBB4UoMHCflTACaSloE=[/tex] 满足 [tex=1.071x1.214]69Kx6twOoPKKXFd3Ew+Jjg==[/tex] 可得 [tex=0.786x0.786]RaAINhYHT2QFWQ2tWIaawg==[/tex] 满足 [tex=3.0x1.357]9wWdNF8tsZiAYK20CwFSYFlSsHVXw5yp164FhNq4gZU=[/tex] 故 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 满足 [tex=4.786x1.357]bJ3t9EkgEKwgpUjf7/NBXwLUAWWIO4Xod06yEfK2Qpk=[/tex] [br][/br]       同法可证, [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex]满足 [tex=10.286x1.357]bJ3t9EkgEKwgpUjf7/NBX68b3pvsDJuy0hDUgYDs4KJ6iA44MNCZG3YqrCKfEUdjCiexO2+Pf5H0cA+GaleyXc9Jn2NILBIjw/huZ9TPDHM=[/tex][br][/br]       综上, [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 满足 [tex=10.286x1.357]uPc1ro8NObp2ON8Fb8mZh7mxqdh8EjhHdyqmfjgJZ8Yw5kZ9qMHK3dQRcfDv/OjUQ0Xq/Ax0aneZGsXun+asBA==[/tex] 由 [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 和 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 的任意性,故 [tex=7.357x1.357]uPc1ro8NObp2ON8Fb8mZh7mxqdh8EjhHdyqmfjgJZ8Yw5kZ9qMHK3dQRcfDv/OjUfa43K7fSP/GWXGJ0C/VL1Q==[/tex][tex=2.714x1.357]KKEDIrnO7RhrrY61gbEsZw==[/tex] 是逻辑有效的,即公式成立 [tex=10.571x1.357]IMslRH1bVksGt5XVAR+LbBwnaMkiQZJD5ijrgReDVjl9V7udNjquA5Cc6qTfr6oKjkOiHqXqA0XKmkKUwHsit1wCOEbmjOkPJjbJxgGmHd0=[/tex]

举一反三

内容

0
给定事务[tex=3.714x1.214]AmQFS9wQ9+j4yT0yE17rhCcTJtJ0zcAWKoyvzbh5thU=[/tex], 执行下列操作:[tex=1.0x1.214]oRPUaRXqLpUA70qsP8lMlg==[/tex] : 将[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]加 1 ;[tex=1.0x1.214]HVzBmnH+oDvNT02uQx1Mvw==[/tex] : 将[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]加倍;[tex=1.0x1.214]V9cr7iHTZcucWDPZebtanA==[/tex]: 在屏幕上输出[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex], 并将[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]置为 1, 其中[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]为数据库中的某个数据项。假设[tex=3.714x1.214]AmQFS9wQ9+j4yT0yE17rhCcTJtJ0zcAWKoyvzbh5thU=[/tex]可以并发执行。若[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]初值为0,那么存在多少种可能的正确结果?
1
已知 x = [6, 9, 8]，那么执行语句 x.insert(0, 1)之后，x的值为（）。 A: [1, 6, 9, 8] B: [6, 9, 8, 1] C: [6, 9, 1, 8] D: [6, 1, 9, 8]
2
设两个相互独立的事件 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 和 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 都不发生的概率为 1 / 9, [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 发生[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 不发生的概率与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 发生 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 不发生的概率相等，则 [tex=3.0x1.357]PlWNHdSuVTfacbkTVT1WGw==[/tex][input=type:blank,size:6][/input].
3
设 [tex=2.0x1.214]vnzjVhyzo/NIhVUgFyjLlA==[/tex] 是任意两事件,其中 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 的概率不等于 0 和 1, 证明[p=align:center][tex=8.357x1.429]GJ5i+vQarUlGc9dBEHINxezc5NVjbiDYM3wHRtLave8=[/tex]是事件 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 独立的充分必要条件.
4
【计算题】5 ×8= 6×4= 7×7= 9×5= 2×3= 9 ×2= 8×9= 7×8= 5×5= 4×3= 5+8= 6 ×6= 3×7= 4×8= 9×3= 1 ×2= 9×9= 6×8= 8×0= 4×7=