viernes, 27 de diciembre de 2013

JERARQUIA DE LOS CONECTORES LOGICOS

JERARQUIA DE LOS CONECTORES LOGICOS

La jerarquía de operadores es el orden en el que se resolverá una expresión compuesta, y el orden es el siguiente.
Primero que nada los operadores del mismo orden se resuelven de izquierda a derecha.

1.-Paréntesis  ().
2.-Operadores unarios.
3.-Operadores binarios.
Ejemplo 1 .

(r^s) ^ p → ¬ q

 p(r^s)  ¬q(r^s)^p  (r^s) ^ p → ¬ q 
VF F
VF F V
VF F F V
FF F F V
VVV V
F FF V
F FV F V
VFF F F V
FVV F V
FVVF FF F V
FV FF F V
FVFF FF F V
FFVV F V
FFVF F F V
F FV F V
FFFF FV F V
 

CONECTORES LOGICOS Y TABLAS DE VERDAD

CONECTIVA LÓGICA
Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad. A continuación hay una tabla con las conectivas más usuales y su definición mediante tablas de verdad:
 
ConectivaNotaciónEjemplo
de uso
Análogo
natural
Ejemplo de uso en
el lenguaje natural
Tabla de verdad
Negación\neg,\sim \,\neg p \,noNo está lloviendo.\begin{array}{c||c}
      \phi & \neg \phi \\
      \hline
      1 & 0 \\
      0 & 1 \\
   \end{array}
Conjunción\and,\And, \cdot \,p \and q \,yEstá lloviendo y es de noche.\begin{array}{c|c||c}
      \phi & \psi & \phi \and \psi \\
      \hline
      1 & 1 & 1 \\
      1 & 0 & 0 \\
      0 & 1 & 0 \\
      0 & 0 & 0 \\
   \end{array}
Disyunción\or \,p \or q \,oEstá lloviendo o es de noche.\begin{array}{c|c||c}
      \phi & \psi & \phi \or \psi \\
      \hline
      1 & 1 & 1 \\
      1 & 0 & 1 \\
      0 & 1 & 1 \\
      0 & 0 & 0 \\
   \end{array}
Condicional \to,\supsetp \to q \,si... entoncesSi está lloviendo, entonces es de noche.\begin{array}{c|c||c}
      \phi & \psi & \phi \to \psi \\
      \hline
      1 & 1 & 1 \\
      1 & 0 & 0 \\
      0 & 1 & 1 \\
      0 & 0 & 1 \\
   \end{array}
Bicondicional\leftrightarrow, \equiv \,p \leftrightarrow q \,si y sólo siEstá lloviendo si y sólo si es de noche.\begin{array}{c|c||c}
      \phi & \psi & \phi \leftrightarrow \psi \\
      \hline
      1 & 1 & 1 \\
      1 & 0 & 0 \\
      0 & 1 & 0 \\
      0 & 0 & 1 \\
   \end{array}
 

miércoles, 18 de diciembre de 2013

Miercoles 18 De Diciembre de 2013



TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

TAUTOLOGÍA: Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de valores de verdad  para sus proposiciones componentes. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras. Sea el caso: 



•CONTRADICCIÓN: Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras. Sea el caso: 


 

•CONTINGENCIA:Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa,(combinación entre tautología y contradicción) según los valores de las proposiciones que la integran. Sea el caso:

 

martes, 17 de diciembre de 2013

MARTES 17 DE DICIEMBRE DE 2013




SIMBOLIZACIÓN DE CONECTORES LÓGICOS

1. CONJUNCIÓN:
Simbolo: ^
Notación: (p ^ q)
Significados: Y, Además, También, Pero, Sin embargo.
Ejemplo: "El cuadrado tiene cuatro lados y el triángulo 3 lados".

2. DISYUNCIÓN INCLUSIVA:
Simbolo: v
Notación: (p v q)
Significados: o
Ejemplo: "Tomamos té o café"

3. DISYUNCIÓN EXCLUSIVA:
Simbolo: v
Notación: (p v q)
Significados: O....o
Ejemplo: "O es de día o es de noche"

4. CONDICIONAL:

Simbolo: →
Notación: (p → q)
Significados: Entonces, Por lo tanto, En consecuencia, Por consiguiente, Si..., ; Si..., entonces.
Ejemplo: "Si estudias, aprobarás la asignatura "

5. BICONDICIONAL:
Simbolo: ‹–›
Notación: (p ‹–› q)
Significados: Si y solo si , solamante si, cuando y solo cuando, solamente cuando, únicamente cuando.
Ejemplo: "Pierdes peso si y solo si haces dieta "

6. NEGACIÓN:

Simbolo: -
Notación: (-p)
Significados: No, es falso que, no ocurre que, no sucede que, no es el caso que.
Ejemplo: "María no presentó la prueba de lógica"

PODEMOS OBSERVAR ESTE VIDEO PARA VER MAS EJEMPLOS