Jonathan es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Prueba $(A\rightarrow C)\land(C\rightarrow\neg B) \land B\rightarrow\neg A$ es válida sin utilizar tablas de verdad
el 16 de Julio, 2016 3 votos - 1 resp
Traduce "Si algún gato es tímido, entonces no es feliz" a la lógica de predicados
el 9 de Septiembre, 2016 4 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x predicate-logic
- 1 x word-problem
- 1 x logic
- 1 x propositional-calculus