Ir al contenido principal

CONSTRUCCIÓN DE TABLAS DE VERDAD DE PROPOSICIONES Y FORMALIZACIÓN

 




Considere las afirmaciones:

Él o no está informado o él no es honesto

No es verdadero que él esté informado y sea honesto

¿Son lógicamente equivalentes? (Demostrar)

R= No son equivalentes según los valores de la tabla.


Considere las afirmaciones: 

  •  Si las mercancías no fueron entregadas, el cliente no puede haber pagado
  •  Si el cliente ha pagado, las mercancías deben de haber sido entregadas

¿Son contrarrecíprocas? (Demostrar).

Las expresiones ¬p -> ¬q y q->p corresponde a ser contrarrecíprocas, pues recordemos que se cambia de puesto ambos valores con su signo contrario como lo dice en el documento compartido.

Determine los valores de verdad de los enunciados siguientes. 

  1. Si 7 < 2, entonces -2 < -7 
  2. 2 + 2 = 5 sii 4 + 4 = 10 
  3. 1 + 1 = 2 sii 4 + 4 = 10
1.

R= La primera expresión nos da un valor de verdadero ya que la única vez que puede ser falsa es cuando la primera proposición es verdadera y la segunda es falsa.

2.
R=  Las dos proposición obtiene un valor de verdadero al momento de p y q ser falsas como indica la tabla de valores del bicondicional.

3. R= Al igual que el problema anterior, el valor final de esta proposición es verdadero como regla del bicondicional. Al ser los p y q verdadero este es el resultado.

Sean p y q los enunciados: “Está permitido nadar en la costa de Nueva Jersey” y “Se han divisado tiburones cerca de la costa”, respectivamente. Expresa cada una de las siguientes fórmulas en lenguaje natural.

 4. p Λ  q

 5. p ↔ – q

4. R= Está permitido nadar en la costa de Nueva Jersey y se han divisado tiburones cerca de la costa.
5. R= Está permitido nadar en la costa de Nueva Jersey solo si no se han divisado tiburones cerca de la costa.







Comentarios

Entradas populares de este blog

MAPA MENTAL-INFORME FINAL DE AUDITORÍA

  Resultados Reda

PRINCIPALES DIAGRAMAS UML

Una clase UML representa un concepto dentro del sistema que se está modelando. Es una descripción de un conjunto de objetos que comparten los mismos atributos, operaciones, métodos, relaciones y semántica. Una clase se representa por un rectángulo, con el borde externo continuo, con tres compartimentos separados mediante líneas horizontales. El compartimento superior tiene el nombre de la clase y otras propiedades generales (incluido su estereotipo); el compartimento intermedio contiene el listado de atributos; el compartimento inferior contiene una lista de operaciones. Los compartimentos de atributos y operaciones se pueden eliminar para simplificar el diagrama. La eliminación no indica que no existan atributos u operaciones.  Relaciones Asociación :  Representa una relación estructural entre dos o más clases Agregación :  Indica una relación "todo-parte" entre una clase "contenedora" y una clase "contenida". La parte puede existir independientemente del...

BUSCANDO CREER