Análisis lógico de la traducción

La condición de que A es indispensable para b se traduce al lenguaje lógico: si A, entonces b.

Por ejemplo, si alguien es un asesino, debe estar en el lugar cuando se comete el crimen. Si una persona es un asesino, debe haber estado presente cuando se cometió el delito.

Datos ampliados:

Lenguaje lógico común

1. Estructura de las proposiciones

En matemáticas, existe "Si P, entonces Q Las proposiciones de la forma "son comunes". En esta proposición llamamos a P la condición de la proposición y a Q la conclusión de la proposición.

2. Proposiciones compuestas

Las proposiciones sin conjunciones lógicas se llaman proposiciones simples, y las proposiciones compuestas por proposiciones simples y conjunciones lógicas se llaman proposiciones compuestas.

3. Conector lógico

(1) y

En general,? Utilice la conjunción lógica "y" para conectar las proposiciones P y Q y obtener una nueva proposición, denotada como P Q, pronunciada como "P y Q".

(2) o

En general, las proposiciones P o Q se conectan con el conectivo lógico "o" para obtener a? La nueva proposición, denotada pvq, se pronuncia "P o Q"; puedes utilizar o para definir la unión de conjuntos: ? AUB={x|(x∈A)v(x∈B)} .

(3) no es

En general,? Negar la proposición p y obtener una nueva proposición, registrada como -? p, pronunciado como "no? P" o "la negación de P" puede usarse para definir el complemento del conjunto A en el conjunto completo U: δA={x∈U1_? (x∈A)}={x∈U|xεA} .

4. Tabla de verdad de problemas compuestos: