Logica

Solo disponible en BuenasTareas
  • Páginas : 3 (599 palabras )
  • Descarga(s) : 0
  • Publicado : 21 de agosto de 2010
Leer documento completo
Vista previa del texto
SOLUCIÓN GUÍA DE EJERCICIOS DE ÁLGEBRA I (Nociones de Lógica)
3.- Si la proposición "p" es verdadera y las proposiciones "q" y "r" son falsas, determine el valor de verdad de las siguientesproposiciones compuestas:

�� → �� ↔ �� �� → �� ↔ �� �� → �� ������������������

�� ∧ ~�� → ~�� ↔ �� → �� �� ∧ �� → �� ↔ �� → �� �� → �� ↔ �� �� ↔ �� ����������

�� → �� → �� →

�� ↔ �� ∨ ~�� �� ↔�� ∨ �� �� ∨ �� → ��

→ �� ∧ �� → �� ∧ ��

�� → ~�� ∨ �� → ~�� �� → �� ∨ �� → �� �� ∨ �� �� → �� ���������� ↔ ��

↔ �� ∧ ~�� ∧ ��

↔ �� ∧ �� ∧ ��

→ ��

�� → �� �� → �� ����������

[1] 4.- Sabiendo que la proposición: ∧~ ∧ → ↔ ∨

es FALSA, determine el valor de verdad de las siguientes proposiciones:

�� → ~�� ∨ �� → ~�� �� → �� ∨ �� → �� �� ∨ �� ������������������

Valor delas variables: ��: ������������������ ��: ���������� ��: ������������������ ��: ������������������ ��: ����������

�� ∧ ~�� ↔ �� ∧ �� ↔ �� ↔

�� ↔ �� ∨ ~�� �� ↔ �� ∨ ��

�� ∨ �� → �� → �� → ~��↔ ~�� �� → �� → �� → �� ↔ �� �� → �� → ��

�� ↔ �� ������������������

~ ~�� → �� ∧ �� → ~�� ~ ~ ~�� ∨ �� ∧ �� → ~�� ~ �� ∨ �� ∧ �� → ~�� ~�� ∧ ~�� ∧ �� → ~�� �� ∧ �� ∧ �� → �� �� ∧ �� ������������ → �� ����������

�� → ~ �� ∨ �� �� → ~�� ∧ ~�� �� → �� ∧ �� �� → �� �� ↔ �� ���������� ↔

↔ ↔ ↔

�� ∧ ~�� → �� �� ∧ ~�� → �� �� ∧ �� → ��

�� → ��

[2]

5.- Si la proposición: ↔ ∨es FALSA, determine el valor de verdad de las siguientes proposiciones:

�� ∧ �� → �� �� ∧ �� → �� �� → �� ������������������

Valor de las variables: ��: ���������� ��: ������������������ ������������ ��: ���������� �� ������������������

�� → �� ↔ �� → ~�� ∨ �� �� → �� ↔ �� → �� ∨ �� �� ↔ �� → �� �� → �� ������������������ �� ∧ �� ↔ �� ∨ �� �� ∧ �� ↔ �� ∨ �� �� ↔ �� ����������

6.- Se sabe quela proposición compuesta: ∧~ → ↔ ∧

es FALSA. Encuentre el valor de verdad de la proposición: → �� → �� → �� �� → �� → �� �� → �� ������������������ → Valor de las variables: ��:...
tracking img