Diagrama Semantico

DIAGRAMASSEMÁNTICOS

SINTAXIS.- Se ocupa del estudio de los signos, prescindiendo de sus significados
Ejemplo:
María va al cine o se queda en casa
* Enunciado disyuntivo
SEMANTICA.- Se ocupa de la relación entre signos y lo designado por ellos
Ejemplo:
María va al cine o se queda en casa
* Es un enunciado verdadero

También es uninstrumento ométodo decisorio alternativoaldelasTablas deVerdad

Representacióndelosvalores deverdad

Negación:Comoyasabemos,siunaproposición oesquema esverdadero, sunegación es falsa yviceversa. En ese sentido lanegación, de acuerdo alos diagramas semánticos, se representara delsiguientemodo:

a)F[A]

V[A] Queselee:

b)V[A]

F[A]

a) “AesfalsosiysolosiAesverdadero”

b) “AesverdaderosiysolosiAesfalso”

a)Conrespectoaunavariable: F[p]V[p]

b)Conrespectoaunesquema: V[(pq)]

F[(pq)]

Conjunción: Paraque un esquema conjuntivo sea verdadero ambos miembros de la conjunción debendeserlo.Estoes,bastaqueunodeellosseafalsoparaquedichoesquema seafalso.Porotrolado,enlalógicaestándar haysólo2valores deverdad;loverdadero ylo falso.Enesesentidotenemosdosposibilidades:

a) F[AB]
F[A] F[B] Queselee:

b)V[AB]

V[A] V[B]

a)ABesfalso,cuandocualquieradelosdos,AoBsonfalsos.

b) A B es verdadero, únicamente cuando los dos, A y B son verdaderos.

Ellectorpuedeobservarqueeneldiagramaa)losvaloresdeverdaddeambosmiembros de la conjunción al ser analizados son escritos de manera horizontal. Esto indica que no se requierequeambosmiembros tenganelvalorexpresado (enestecasoeldelofalso)sinoquebastaqueunolotengaparaquetodoelesquemaseafalso.

En eldiagrama b),encambio, losvalores deverdad delos respectivos miembros dela conjunción estánordenados demanera vertical, elloindicaqueparaquelaconjunción pueda ser considerada como verdadera, tanto el miembro de la derecha como el de laizquierda deberán detenerelvalordeverdaddeloverdadero. Losrespectivos valores decadaunade lasvariablesproposicionalesestánexpresadosalaizquierdadecadauno.

Este orden de diagramación se sigue con todos los demás operadores (disyunción, condicional ybicondicional). Veamosunaaplicacióndeloanterior:

Seaelesquema:

[(pq)(rp)]elcualsenosdicequeesverdadero. Porloanteriortendremosquerepresentarlodelsiguientemodo:

V[(pq)(rp)]

V[(pq)] V[(rp)]



Porotrolado:

F[(pq)(rp)]

F[(pq)] F[(rp)]


Disyunción: Una disyunción es falsaúnicamente cuando ambos miembros de ella son falsos,entodoslosdemáscasosesverdadera.

a) V[AB]

V[A] V[B]

b)F[AB]

F[A] F[B]

a) A B es verdadero, cuando cualquiera de los dos, A o B son verdaderos.

b) ABesfalso,únicamentecuandolosdos,AyBsonfalsos.

Condicional: Elcondicional esfalsoúnicamente cuando elantecedente esverdadero yel consecuente esfalso.

a) F[AB]

V[A] F[B]

b)V[AB]

F[A]V[B]


Bicondicional: El bicondicionales verdadero en dos casos; o bien cuando ambos miembros delesquema sonverdaderos o biencuando ambos sonfalsos.Encambio siestos tienenvaloresdeverdadalternadosentoncesseráfalso.

a) V[AB]

V[A] F[A] V[B] F[B]

b) F[AB]

V[A] F[A] F[B] V[B]






Análisis deesquemasmolecularesatravésdeDiagramasSemánticos

1. Darunvalordeverdadalesquema.

2.Enbasealvalordeverdaddelesquemairanalizando cadamiembroo subesquemas deeste.

3. Irnumerando, aladerecha,elordenenquesehanidoanalizandolosesquemas ysub esquemas.

Dadoelsiguienteesquema: [(pq)(rs)]

Nosotros podemos partir para elanálisis suponiendo que o esverdadero o esfalso, se recomienda optar,siempre quesepueda, porlaposibilidad quemenos bifurcaciones origine. Enelpresentecasolamejorposibilidad esconsiderar elesquema comofalso.Considerando falsoelesquemasetiene:F[(pq)(rs)]

Comoenestecasoelvalordeverdadeslofalsoylaconectivaprincipaldelesquema esla condicional, tenemos que asignarle al antecedente el valor de verdad de verdadero y al consecuente elvalordeverdaddefalso.

F[(pq)(rs)](1)

V[(pq)] F[(rs)]
Como este esquema original ha sido el primero en ser analizado...