sábado, 2 de mayo de 2015

Traducción al lenguaje simbólico

Todo lenguaje simbólico su proposición es : Si la seguridad privada es efectiva disminuye, pero la seguridad y el turismo se desarrolla. Los indices de asalto no disminuyen, pero la seguridad privada es efectiva. Entonces, el turismo no se desarrolla. Antecedente [(a^(b^c))^(7b^a)]-(7c) Consecuente 
1) Si los elefantes volaran o supieran tocar el acordona, pensarían que estoy como una regadera y dejarían que me internaran en un hospital psiquiátrico.
(a7b)-(c^7d)
Formas proposicionales
Se denominan formas proposicionales a las estructuras constituidas por variable proposicional y los operadores lógicos que la proporciona (p) constituye una variable constitucional cuando puede representar a la proposición simple o compuesta el valor de p sera desconocido mientras no se especifique que el valor de verdad de la proposición. dentro de la forma proposicionales se tiene las siguientes estructuras lógicas
a) Tautologia: Si se tiene solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales.
b) Contradicción: Si se tiene solamente proposiciones falsas para todos los valores de verdad de las variables proposicionales.
c) Contingencia: Si se tiene algunas proposiciones verdaderas y falsas para los valores de verdad de las variables proposicionales.
                     A:[(p-q)^(q-r)]-(p-r)


p      q        r       p->q       q->r         p->r     (p->q)^(q->r)        a 

0      0       0         1              1              1                      1                  1
0      0       1         1              1              1                      1                  1
0      1       0         1              0              1                      1                  1
0      1       1         1              1              1                      1                  1
1      0       0         0              1              0                      0                  1
1      0       1         0              1              1                      0                  1 
1      1       0         1              0              0                      0                  1
1      1       1         1              1              1                      1                  1

R: Tautologia

No hay comentarios:

Publicar un comentario