Puedes escribir el argumento usando cálculo proposicional.
“Si x entonces y ” es una implicación lógica [matemática] \ a [/ matemática], lo que significa que x es una condición suficiente para y .
La negación se escribe como [math] \ neg x [/ math], y la conclusión se indica con [math] \ models [/ math] (aunque tiene la misma tabla de verdad como implicación).
” x e y ” es [matemáticas] x \ tierra y [/ matemáticas].
Yo simplemente escribiría
[matemáticas] (\ neg R \ to S) \ land R \ models \ neg S [/ math]
Tenga en cuenta que la validez significa que es imposible que todas sus premisas sean verdaderas sin que la conclusión sea verdadera, por lo que su argumento no es válido.
Lo que probablemente te confunde es que tu primera premisa, ‘si no llueve, él irá a la tienda’, es cierta cada vez que llueve.
- En una clase de 25 estudiantes, 17 vivían con ambos padres, 21 vivían con sus madres y 20 vivían con sus padres. ¿Cuántos vivían sin ninguno de los padres?
- ¿Cómo es la naturaleza de la gráfica diferente en el caso de x ^ 2 + 7x + 10 y x ^ 2 + 7 | x | +10?
- ¿Qué es una asíntota?
- Si [math] z [/ math] es un número complejo, entonces, ¿cuál es el lugar geométrico de [math] z [/ math] tal que [math] z ^ 2-6z = iz- | z - [/ math] [math ] 1 | [/ matemáticas]?
- ¿Cómo se puede leer un libro de matemáticas?