管理类联考——逻辑——真题篇——按知识分类——汇总篇——一、形式逻辑——选言——相容选言——或——第一节 推结论
第五章 选言命题：相容选言-或；不相容选言-要么要么
第一节 相容选言-或-推结论-A或B为真，则非A→B，非B→A(否一则肯一)
真题（2010-28）-相容选言-或-推结论-（1）A或B为真，A为假：得B为真(否一则肯一)；
28.域控制器储存了域内的账户、密码和属于这个城市的计算机三项信息。当计算机接入网络时，域控制器首先要鉴别这台计算机是否属于这个域，用户使用的登陆账户是否存在，密码是否正确，如果三项信息均是正确，则允许登陆；如果以上信息有一项不正确，那么域控制器就会拒绝这个用户从这台计算机登陆。小张的登陆帐号是正确的，但是域控制器拒绝小张的计算机登陆。基于以上陈述能得出以下哪些结论？
A．小张输入的密码是错误的。
B．小张的计算机不属于这个域。
C．如果小张的计算机属于这个域，那么他输入的密码是错误的。
D．只有小张输入的密码是正确的，他的计算机才属于这个域。
E．如果小张输入的密码是正确的，那么他的计算机属于这个域。
方法一：
C。解析：本题综合考查复言命题。由“如果三项信息均正确，则允许登录”和“域控制器拒绝小张的计算机登录”，可知三项信息并非都正确，即或者登录账号不正确或者输人的密码不正确或者计算机不属于这个域。再考虑“小张的登录账号是正确的”，可知或者输入密码不正确或者计算机不属于这个域。C项正好通过否定这个选言命题的后半部分，从而肯定其前半部分，是
相关文章：
管理类联考——逻辑——真题篇——按知识分类——汇总篇——一、形式逻辑——选言——相容选言——或——第一节 推结论
第五章 选言命题：相容选言-或；不相容选言-要么要么 第一节 相容选言-或-推结论-A或B为真，则非A→B，非B→A(否一则肯一) 真题（2010-28）-相容选言-或-推结论-（1）A或B为真，A为假：得B为真(否一则肯一)； 28.域控制器储存了域内的账户、密码和属于这个城市的计算机三…...
MySQL数据库——图形化界面工具（DataGrip），SQL（2）-DML（插入、修改和删除数据）
目录 图形化界面工具（DataGrip） 下载及安装 启动及连接 使用 创建数据库 创建表结构 编写SQL DML 插入 更新和删除 1.修改数据 2.删除数据 总结 图形化界面工具（DataGrip） 下载及安装 DataGrip下载链接：…...
【Git】（五）切换分支
1、切换分支 git checkout newBranch 2、如果需要保留本地修改 git status git add . git commit --amend git checkout newBranch 3、强制切换分支 放弃本地修改，强制切换。 git checkout -f newBranch...
LVS集群和nginx负载均衡
目录 1、基于 CentOS 7 构建 LVS-DR 群集。 2、配置nginx负载均衡。 1、基于 CentOS 7 构建 LVS-DR 群集。 1.部署LVS负载调度器 1>安装配置工具 [rootnode6 ~]# yum install -y ipvsadm 2>配置LVS虚拟IP（VIP地址） [rootnode6 ~]# ifconfig ens…...
mysql 03.查询（重点）
先准备测试数据，代码如下： -- 创建数据库 DROP DATABASE IF EXISTS mydb; CREATE DATABASE mydb; USE mydb;-- 创建student表 CREATE TABLE student (sid CHAR(6),sname VARCHAR(50),age INT,gender VARCHAR(50) DEFAULT male );-- 向student表插入数据…...
arcpy读取csv、txt文件
目录 前置：文件读写模式步骤一：设置工作空间和文件路径步骤二：创建要素类步骤三：读取CSV文件并导入数据步骤四：读取txt文件并导入数据总结 当涉及到地理信息系统（GIS）数据处理时，有时…...
Leetcode32 最长有效括号
给你一个只包含 ( 和 ) 的字符串，找出最长有效（格式正确且连续）括号子串的长度。 代码如下： class Solution {public int longestValidParentheses(String str) {Stack<Integer> s new Stack<>();int res 0;int st…...
【Android】Dagger和Hilt新手快速入门
什么是Dagger和Hilt Dagger和Hilt都是安卓端的依赖注入框架 通过注解生成的方式，来取代手动创建对象的方式，来管理对象和其作用域 Dagger是Square公司出品的，而Hilt是由Google公司在Dagger的基础上优化而来 配置项目级别gradle buildscri…...
phpstorm 推荐插件
...
在进行自动化测试，遇到验证码的问题,怎么办？
1.找开发去掉验证码或者使用万能验证码 2.使用OCR自动识别 使用OCR自动化识别，一般识别率不是太高，处理一般简单验证码还是没问题 这里使用的是Tesseract-OCR,下载地址：https://github.com/A9T9/Free-Ocr-Windows-Desktop/releases 怎么使…...
C语言刷题训练DAY.6
1.进制AB 解题思路： 这里我们按照备注的提示，调整输入格式。 注意：%x是十六进制的数字 %o是八进制的数字 解题代码： #include<stdio.h> int main() {int a 0;int b 0;scanf("0x%x 0%o", &a, &b);pri…...
Java进阶篇--数据结构
目录 一.数组（Array）： 1.1 特点： 1.2 基本操作： 1.3 使用数组的好处包括： 1.4 数组也有一些限制： 二.集合框架（Collections Framework）： 2.1 列表…...
使用Facebook Pixel 埋点
在投放广告的时候，一般需要知道广告的产生的效益，所以就需要通过埋点去记录，这里使用到的是Facebook Pixel。 首先安装 npm install --save react-facebook-pixel然后进行封装了一下 /*** * param {事件类型默认为标准事件} eventType * pa…...
《Go 语言第一课》课程学习笔记（七）
代码块与作用域：如何保证变量不会被遮蔽？ 什么是变量遮蔽呢？package mainimport ("fmt""github.com/google/uuid""github.com/sirupsen/logrus" )func main() {fmt.Println("hello, world")logrus.…...
Docker Nginx 运行前端项目
运行Nginx容器： docker run -itd --name nginx -p 80:80 nginx:latest--name是容器名称变量，nginx是创建容器的名称 copy 打包后的前端项目到容器的/usr/share/nginx目录下，拷贝后的目录一定要是：/usr/share/nginx/html否则无法运…...
企业权限管理（十）-用户详情
用户详情 UserController findById方法 Controller RequestMapping("/user") public class UserController {Autowiredprivate IUserService userService;//查询指定id的用户RequestMapping("/findById.do")public ModelAndView findById(String id) thro…...
Windows 11 家庭中文版找不到组策略文件gpedit.msc
最近因为调整日期问题需要用到组策略文件gpedit.msc,但是发现找不到文件 在按键盘 winR 打开运行界面输入 gpedit.msc 回车 Windows找不到文件’gpedit.msc’。请确定文件名是否正确后，再试-次。 检查电脑Windows系统版本 是 Windows 11 家庭中文版 果断早网上搜…...
vue3项目中structuredClone报错
报错：Failed to execute structuredClone on Window: #<Object> could not be cloned 代码： const formData ref({"content": "", // string"id": "", // string"title": "", // …...
Android漏洞之战——整体加壳原理和脱壳技巧详解
一、前言 为了帮助更加方便的进行漏洞挖掘工作，前面我们通过了几篇文章详解的给大家介绍了动态调试技术、过反调试技术、Hook技术、过反Hook技术、抓包技术等，掌握了这些可以很方便的开展App漏洞挖掘工作，而最后我们还需要掌握一定的脱壳技巧…...
网络
mcq Java 传输层：拆分和组装，完成端到端的消息传递，流量控制，差错控制等 网络层： 寻址、路由，复用，拥塞控制，完成源到宿的传递。 显然A选项是错误的，有流量控制的是传输层…...
C++实现分布式网络通信框架RPC(3)--rpc调用端
目录 一、前言 二、UserServiceRpc_Stub 三、 CallMethod方法的重写 头文件 实现 四、rpc调用端的调用 实现 五、 google::protobuf::RpcController *controller 头文件 实现 六、总结 一、前言 在前边的文章中，我们已经大致实现了rpc服务端的各项功能代…...
YSYX学习记录（八）
C语言，练习0： 先创建一个文件夹，我用的是物理机： 安装build-essential 练习1： 我注释掉了 #include <stdio.h> 出现下面错误 在你的文本编辑器中打开ex1文件，随机修改或删除一部分，之后…...
视频字幕质量评估的大规模细粒度基准
大家读完觉得有帮助记得关注和点赞！！！ 摘要 视频字幕在文本到视频生成任务中起着至关重要的作用，因为它们的质量直接影响所生成视频的语义连贯性和视觉保真度。尽管大型视觉-语言模型（VLMs）在字幕生成方面…...
rnn判断string中第一次出现a的下标
# coding:utf8 import torch import torch.nn as nn import numpy as np import random import json""" 基于pytorch的网络编写 实现一个RNN网络完成多分类任务 判断字符 a 第一次出现在字符串中的位置 """class TorchModel(nn.Module):def __in…...
React---day11
14.4 react-redux第三方库 提供connect、thunk之类的函数 以获取一个banner数据为例子 store： 我们在使用异步的时候理应是要使用中间件的，但是configureStore 已经自动集成了 redux-thunk，注意action里面要返回函数 import { configureS…...
python爬虫——气象数据爬取
一、导入库与全局配置 python 运行 import json import datetime import time import requests from sqlalchemy import create_engine import csv import pandas as pd作用： 引入数据解析、网络请求、时间处理、数据库操作等所需库。requests：发送 …...
9-Oracle 23 ai Vector Search 特性 知识准备
很多小伙伴是不是参加了 免费认证课程（限时至2025/5/15） Oracle AI Vector Search 1Z0-184-25考试，都顺利拿到certified了没。 各行各业的AI 大模型的到来，传统的数据库中的SQL还能不能打，结构化和非结构的话数据如何和…...
【HarmonyOS 5】鸿蒙中Stage模型与FA模型详解
一、前言 在HarmonyOS 5的应用开发模型中，featureAbility是旧版FA模型（Feature Ability）的用法，Stage模型已采用全新的应用架构，推荐使用组件化的上下文获取方式，而非依赖featureAbility。 FA大概是API7之…...
STM32标准库-ADC数模转换器
文章目录 一、ADC1.1简介1. 2逐次逼近型ADC1.3ADC框图1.4ADC基本结构1.4.1 信号 “上车点”：输入模块（GPIO、温度、V_REFINT）1.4.2 信号 “调度站”：多路开关1.4.3 信号 “加工厂”：ADC 转换器（规则组 注入…...
Xcode 16 集成 cocoapods 报错
基于 Xcode 16 新建工程项目，集成 cocoapods 执行 pod init 报错 ### Error RuntimeError - PBXGroup attempted to initialize an object with unknown ISA PBXFileSystemSynchronizedRootGroup from attributes: {"isa">"PBXFileSystemSynchro…...