Nuevo

3.1.2 Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional)


3.1.2 Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional)



 Resumen: Se consolida en clase que la proposición lógica es una hipótesis que depende del contexto en el que se desenvuelve, siendo una expresión ambigua y nos da dos posibles respuestas, verdad o falso. Tipos de proposiciones:

Simple: 2 = 2 (v)          y        Compuesta:  3<5 (v) && 3=3 (v)                                                                                                                                                                  (v)
Para conocer el valor de verdad de una proposición compuesta se debe hacer el uso de la tabla de la verdad ya que muestra cada combinación de valores de verdad que se pueda asignar a sus componentes.

Tipos de Proposiciones compuestas

DISYUNCIÓN
Opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.



CONJUNCIÓN
opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.



NEGACIÓN
La negación es un operador que se ejecuta sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.



CONDICIONAL
Opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.



Ejemplos:
1.
          p = ” El numero 2 es par”
          q = ” la suma de 2 + 2 es 4″



2.
p = ” El numero 3 es par”
q = ” la suma de 5 + 5 es 10″
   


3.
 a.  2³ = 8 (v)
b.  14<6  (f)
c. El sol es una estrella  (v)





No comments