Estaba yo en Clase de Matematicas Discretas, habia acabado de llegar de mi clase de Programacion.
Y se me ocurrio una buena idea.
que nota seria hacer un programita que calcule cuando un razonamiento logico es valido o es invalido a partir de las tablas de boole, o sea el PC en Java por ejemplo que es nuestro lenguaje y en el que mas me gustaria hacer este programa, tiene los conectivos logicos y cumple con el algebra booleana.
Entonces segun esto no es imposible hacer esto.
que un programa que diga esto.
[(p^q)vr]--->t] --> [(p^(qvr)--->t] esto por ejemplo, que diga si el razonamiento es valido o invalido. a punta de tablas de boole seria.
[(p^q)vr]--->t] --> [(p^(qvr)--->t]
v v v vv
v v v v f
v v f v v
v v f v f
Bueno y ustedes se imaginan el resto,
Seria bacano un programa que hiciera todo esto. y no se me parece que alguien que aporte alguna idea que ayude al programa seria util.
Yo por ejemplo aportaria esto.
El programa podria usar un StringTokenizer para dividir la fraze en las partes que necesitamos.
Bueno pues escucho sugerencias.!
Y se me ocurrio una buena idea.
que nota seria hacer un programita que calcule cuando un razonamiento logico es valido o es invalido a partir de las tablas de boole, o sea el PC en Java por ejemplo que es nuestro lenguaje y en el que mas me gustaria hacer este programa, tiene los conectivos logicos y cumple con el algebra booleana.
Entonces segun esto no es imposible hacer esto.
que un programa que diga esto.
[(p^q)vr]--->t] --> [(p^(qvr)--->t] esto por ejemplo, que diga si el razonamiento es valido o invalido. a punta de tablas de boole seria.
[(p^q)vr]--->t] --> [(p^(qvr)--->t]
v v v vv
v v v v f
v v f v v
v v f v f
Bueno y ustedes se imaginan el resto,
Seria bacano un programa que hiciera todo esto. y no se me parece que alguien que aporte alguna idea que ayude al programa seria util.
Yo por ejemplo aportaria esto.
El programa podria usar un StringTokenizer para dividir la fraze en las partes que necesitamos.
Bueno pues escucho sugerencias.!