LAGUBIS, JHON RYZEL A.

BSED-MATH 1A THF (7:30- 9:00AM)

LOGIC AND SET THEORY
ACTIVITY 1

Fill in the blanks.

If we are proving the implication p → q we assume. .
1. P is True for a direct proof.
2.Q is False for a proof by contrapositive
3. Show P by assuming ~P for a proof by contradiction.
We are then allowed to use the truth of the assumption in 1, 2, or 3 in
the proof.
After the initial assumption, we prove p → q by showing 4. Q is

true must follow from the assumptions for a direct proof.

5. P is false must follow the assumptions for a proof by contrapositive.

6. There is a contradiction that must follow the assumptions for a
proof by contradiction.

Prove the following statements.

7. Prove by contradiction:
Let a and b be real numbers. If 5a + 25b = 1728, then a or b is not
an integer.
������������ �������� ����������
 ���������� ���������������� ��
������ �� ������ ���������� ���� +
������ = ��������
����������������, ���� + ������ �� =
�������� �� �� + ���� = ������. ��
���������� �� ������ �� ������
����������������,
�� + ���� = ������. �� ��������
�������� ���� ���� ��������������.
�� + ���� ���� ���� ��������������
������ ������. �� ���� ������ ����
��������������, ����������
���������� ���� ��
��������������������������.
∴ ���������� ���������� ����
�������������� �� ���� �� ������
���������� ���� + ������ =
��������.∎

8. Prove by contradiction:
For all positive real numbers, a, b, and c, if ���� =
��,��ℎ���� �� ≤ √c ���� �� ≤ √��.
������������ �������� ����
= ��, �������� �� > √�� ������
�� > √�� ����������, ���� >
√��.√�� �������� ����, ���� >
��, �������� ���������� ����
��
�������������������������
� ���������� ���� = ��
 ∴ �� ≤ √�� ���� �� ≤ √�� ∎
9. Prove using direct proof and contrapositive:
For all integers m and n, if the product of m and n is even, then m
is even or n is even.
Direct Proof:
∀ ��,�� ∈ ℤ
������������ �������� ������
�������������� ���� �� ������ ��
���� ��������, ��������
���������� ����������
�������������� �� ��������
�������� ���� = ����. ������, ����
�������� �������� ��������
������������ �� ���� �� ����
��������. ������ ′��
���������������� �� ����������:
�������� ��: ���� �� ���� ��������,
���� ������ ��������.
�������� ��: ���� �� ���� ������,
�������� �� = ���� + �� ������
�������� �������������� ��.
����������, ���� = (���� + ��)�� =
������ + ��, ���������� ���� ����
��������,���� ������ ����
������������������ ����: ������ +
�� = ���� ��(���� + ��) = ����
���������� (���� + ��)���� ����
��������������, ����
���������������� �������� ��
�������� ���� ��������
�������������� ����
 �������������� ������������
�������� ����.
∴ ���� ������ �������������� ���� ��
������ �� ���� ��������, ��������
������������ �� ���� �������� ���� ��
���� ��������. ∎

Contrapositive:
∀ ��,�� ∈ ℤ
������������ �� ������ �� ������
������ ����������������. ��������
���� �������������������� ����
������ ����������������, �� = ���� +
�� �� = ���� + ��, ���������� ��,�� ∈ ℤ
����, ��.�� = (���� + ��)(���� + ��) =
������ + ����
+ ���� + �� = ��(������ + �� + ��) + �� =
���� + ��, ���������� �� = ������ + �� +
��
������������������, ����
�������������������� ���� ������
���������������� ���� ���� ������.
∎
10. Prove by contrapositive:
If x > 0 and 4x - 1 is prime, then x is odd
������������ �������� �� ����
��������, �������� �� = ����
�������� �������� �� ∈ ℤ . ������
������ ′��������������, �� �� − �� = ��
���� − �� = (�� ��)�� − �� = �� ���� − �� =
(�� �� + ��)(�� �� − ��). ���������� ��
���� ��������, ���� ���� ����
��������������. ��������
 �������������� (�� �� + ��) ������ (��
�� − ��) ������ ����������������.
������������������, �� �� − �� ����
������ �� ���������� ������������
�������������� ���� ������ ����
������������������ ���� ��
�������������� ���� ������
����������������
���������������� ��������������
�������� ��.
∴If �� > �� and �� �� − �� ����
����������, �������� �� ���� ������
∎

Determine if the argument is valid , invalid ,sound or unsound

11. Valid- Sound

All toasters are items made of gold.
All items made of gold are time-travel devices.
Therefore, all toasters are time-travel devices.

12. Valid- Sound

All toasters are items made of gold.
All items made of gold are time-travel devices.
Therefore, all toasters are time-travel devices.
13. Valid- Sound
The sum of two even numbers is always even.
4 and 6 are both even numbers.
Therefore, the sum of 4 and 6 is even.
14. Invalid- Unsound
Division by zero is defined.
6 divided by 0 is equal to 3.
Therefore, division by zero is allowed.
15. Valid- Unsound
All prime numbers are odd.
9 is odd.

Therefore, 9 is a prime number.