TRADUCCION AL LENGUAJE SIMBOLICO

Es la forma de representar simbólicamente un lenguaje formal.

Ejem:

* Si Pablo no atiende en clases o no estudia en casa, fracasara en los exámenes y no sera aplaudido.

PROPOSICIONES:

a) Pablo no atiende en clases.

b) Estudia en casa.

c) Fracasara en los exámenes.

d) Sera aplaudido.

TRADUCCION:

(¬a  v  ¬b )  ¬>  (c ^ ¬ d)