Tómelo parte por parte. Tiene dos variables, p y q , así que comience la tabla enumerando todas las combinaciones de ellas:
[matemáticas] \ begin {matrix} (P) & (Q) \\ T & T \\ T & F \\ F & T \\ F & F \ end {matrix} [/ math]
A continuación, desmonte lógicamente el resto de la oración, de las piezas más simples. Por ejemplo, después de las variables, observe que la oración tiene la negación simple de Q entre paréntesis. Agregue eso a la tabla siguiente:
- ¿Cómo se pueden dividir / separar los datos en 7 partes de modo que 5 partes puedan crear el todo?
- ¿Cómo puedo obtener una clase de matemáticas completa para tontos en la web?
- Cómo probar 1 + 1 = 3 de una manera diferente
- ¿Cuál es el valor de la serie [matemáticas] \ frac {n} {1} + \ frac {n} {2} + \ frac {n} {3} + \ ldots + \ frac {n} {n}? [ /matemáticas]
- Cómo resolver desigualdades
[matemáticas] \ begin {matrix} (P) & (Q) & (\ neg Q) \\ T & T & F \\ T & F & T \\ F & T & F \\ F & F & T \ end {matrix} [/ math]
Como tenemos ¬Q, podemos evaluar la disyunción Q ∨¬Q, que debería ser bastante obvia, es una tautología, ¿cómo puede ser “verdadero O falso” alguna vez falso? 🙂
[matemáticas] \ begin {matrix} (P) & (Q) & (\ neg Q) & (Q \ vee \ neg Q) \\ T & T & F & T \\ T & F & T & T \\ F & T & F & T \\ F & F & T & T \ end {matriz} [/ math]
Lo único que queda por evaluar es la declaración completa, y ya tenemos toda la segunda parte, por lo que solo necesitamos tomar la conjunción de P y los valores que acabamos de obtener en el último paso.
[matemáticas] \ begin {matrix} (P) & (Q) & (\ neg Q) & (Q \ vee \ neg Q) & (P \ wedge (Q \ vee \ neg Q)) \\ T & T & F & T & T \\ T & F & T & T & T \\ F & T & F & T & F \\ F & F & T & T & F \ end {matriz} [/ math]
