Logica Uc Ing Tema4 Diagrama Semantico (2)

7/27/2019 Logica Uc Ing Tema4 Diagrama Semantico (2)

1/9

Docente: Mg. David Pizarro

Huancayo, 2 de septiembre de 2013


2/9

14/09/2013 2

Diagramas semnticos

Mtodo decisorio alternativo a las Tablas de verdad

Representacin de los valores de verdad

1. Negacin: Como sabemos, si una proposicin o esquema,su negacin es falsa o viceversa.

a) F[ -A] b) V [-A]

V [A] F[A]


3/9

Ejemplos:

En variables: Con esquemas

F[-p] V [-(p q)]

V [p] F [(p q)]

2. Conjuncin: Ambos miembros deben ser verdaderos paraque sea verdad.

a) F[A^B] b) V[A^B]

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


4/9

Ejemplos:Con esquemas:

V [(pq) ^ (r p)]

V [(p q)]V [(rp)]

3. Condicional: Es falso cuando el anterior es verdadero y elconsecuente falso.

a) F [A

B] b) V[A

B]

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


5/9

Ejemplos:

Con esquemas:

V [-(p ^ r ) q]

F [-(p r)] V [(q]

4. Disyuncin: Es falso cuando ambos miembros son falsos.

a) F [A v B] b) V[A v B]

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


6/9

5. Bicondicional: Es verdadero cuando ambos miembros sonfalsos o cuando son verdaderos.

a) V [A B] b) F [A B]

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

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


7/9

Anlisis de esquemas moleculares a travs dediagramas semnticos

1. Dar un valor de verdad al esquema.

2. En base al valor de verdad del esquema ir analizando cada

miembro o sub esquemas- de ste.

3. Ir numerando, a la derecha, el orden en que se han ido

analizando los esquemas y sub esquemas

Dado el siguiente esquema:[(p ^ q) (r v s)]

F [(p ^ q) (r v s)]


8/9

I) F [(p ^ q) (r v s)] (1)

V [(p ^ q)]

F [(r v s)]

II) F [(p ^ q) (r v s)] (1)

V [(p ^ q)] (2)

F [(r v s)]

V (p)

V (q)


9/9

14/09/2013 9

Documents

Logica Uc Ing Tema4 Diagrama Semantico (2)