设为任意的命题公式,证明: 等值关系有[br][/br]传递性:若[tex=3.071x1.0]YVZRE2WmA/wV/ylaaWDK2/85eJjeETYjsOIDUjp1+nE=[/tex]且[tex=3.357x1.214]sa7//WdK+PJCuF5HFte8FUXsxRBekNx2a0K6ACXQr/M=[/tex] 则 [tex=3.357x1.0]YVZRE2WmA/wV/ylaaWDK2zOsqs+vCE3T+ZxE6oQn+J4=[/tex]
举一反三
- 设 [tex=2.786x1.214]AzD8UYoy+kTlHC4wZn4aJg==[/tex]为任意的命题公式.[tex=1.286x1.357]6eisz7tHCCVR0Pu03alOxg==[/tex]若[tex=7.0x1.214]ps0/MI1JlZG8trVhGeBqgwFssUhDkm2umgOQi7Md34K4VlqykJ6UzDptM4qU0Qfe[/tex]举例说明 [tex=3.071x1.0]YVZRE2WmA/wV/ylaaWDK2/85eJjeETYjsOIDUjp1+nE=[/tex] 不一定成立.[tex=1.286x1.357]BEB68bP4vOVk/XYYizw11w==[/tex]若[tex=7.0x1.214]xMkf/Q5m4rm8t2tFofGCgFGrGKgMLx1rj1YqepT1B4tYjCI0pGbZM5vvvS08mEtR[/tex] 举例说明[tex=3.071x1.0]YVZRE2WmA/wV/ylaaWDK2/85eJjeETYjsOIDUjp1+nE=[/tex] 不一定成立. [br][/br]由此可知.联结词 [tex=0.786x1.0]Kq7qW/tnNfrVCsYrzpkuuQ==[/tex] 与 [tex=0.714x0.857]fGB1qCACVGJSzZP48sWm0w==[/tex] 不满足消去律.
- 设[tex=0.786x1.0]kEam2pLJe4uAYVdcny2W5g==[/tex]，[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex]，[tex=0.714x1.0]9fIXCQOmrgOp2L5B47vYUQ==[/tex]为任意的命题公式，已知[tex=6.786x1.0]xMkf/Q5m4rm8t2tFofGCgFGrGKgMLx1rj1YqepT1B4ujE08KCJVaSnA/RHE6sZXu[/tex]，问[tex=3.071x1.0]YVZRE2WmA/wV/ylaaWDK2/85eJjeETYjsOIDUjp1+nE=[/tex]吗？
- 若已知 [tex=7.0x1.214]ps0/MI1JlZG8trVhGeBqgwFssUhDkm2umgOQi7Md34K4VlqykJ6UzDptM4qU0Qfe[/tex]在什么条件下, [tex=3.071x1.0]YVZRE2WmA/wV/ylaaWDK2/85eJjeETYjsOIDUjp1+nE=[/tex] 一定成立? 又若已知 [tex=7.0x1.214]xMkf/Q5m4rm8t2tFofGCgIrJhnlyevsrbQrMlhF+3aO0jFFEpz1+gRzaZATcdRNA[/tex]在什么条件下[tex=3.571x1.214]ydlHDRggoB2LclNdkHg+0CD/zRPUpK8/PAHoIE1ZR6I=[/tex]一定成立[tex=0.5x1.0]uJnBg0e/bzXf/h3hAn2qMw==[/tex]
- 设A、B、C为任意的命题公式，证明：等值关系有传递性：若[tex=3.071x1.0]8SzjW7Wm4Dd8DCtUhFYMDULL455ulpYybBS/duj0Dvk=[/tex]，且[tex=3.071x1.0]ML3I6Mx9hZq5rBZIjO0+5+PEFxvl3f/gZ2wh0fvnyDw=[/tex]，则[tex=3.071x1.0]8SzjW7Wm4Dd8DCtUhFYMDTHxMGCyUa7ddVsYGzfpVeU=[/tex]
- 设A、B、C为任意的命题公式，证明：等值关系有对称性：[tex=3.071x1.0]VSG7MZ0QbKhgI1Ahqpi44aHAiOyYg+7hpHe3xYG/qsw=[/tex]，则[tex=3.071x1.0]dVDVQH862RuplpaEQUpbeJcMWUSIxBqSkC22Afv8wSk=[/tex]