[matemáticas] [p \ leftrightarrow q] \ leftrightarrow [\ sim p \ leftrightarrow \ sim q] [/ math]
Para aclarar,
negación: [matemáticas] \ sim [/ matemáticas]
- ¿Cuál es un ejemplo simple de una prueba matemática rigurosa en comparación con una prueba menos rigurosa del mismo concepto?
- Dado el polinomio [matemáticas] 15x ^ 3 + 134x ^ 2-11x-18 [/ matemáticas], ¿cuáles son todas las raíces?
- ¿Cómo abordaría la resolución de [matemáticas] x [/ matemáticas] cuando [matemáticas] 2 ^ {x-4} = x + 12 [/ matemáticas]? Podemos suponer que [matemáticas] x> 0 [/ matemáticas]
- ¿Cuál es la mayor creación matemática de todos los tiempos?
- ¿Por qué el dominio de la función secante y = sec (x) [matemáticas] x \ not = \ frac {\ pi} {2} + \ pi k; k = entero [/ matemáticas]?
condicional: [math] \ rightarrow [/ math]
bicondicional: [matemáticas] \ leftrightarrow [/ matemáticas]
conjunción: [matemáticas] \ cuña [/ matemáticas]
mirando el lado derecho:
[matemáticas] \ begin {matrix} [\ sim p \ leftrightarrow \ sim q] & \ text {Given} \\ (\ sim p \ rightarrow \ sim q) \ wedge (\ sim q \ rightarrow \ sim p) & \ text {Equivalencia material} \\ (q \ rightarrow p) \ wedge (\ sim q \ rightarrow \ sim p) & \ text {Transposition} \\ (q \ rightarrow p) \ wedge (p \ rightarrow q) & \ text {Transposición} \\ p \ leftrightarrow q & \ text {Material Equivalence} \ end {matrix} [/ math]
El lado izquierdo es equivalente al lado derecho, como se mostró.