Awesome q2a theme
0 votes
17 views
$($ $∀x A(x)$  $∪$   $∀x B(x)$ $)$  $→$  $∀x$  $[$ $A(x)$  $ ∪ $  $B(x)] $

$Is$  $this$ $formula$  $VALID$?
in Mathematical Logic by (615 points) | 17 views
0
yes, it is VALID.

1 Answer

+1 vote
Best answer

$(\forall x A(x) \vee \forall x B (x) )\rightarrow \forall x [A(x) \vee B(x)]$

If we found a case which can lead to $T \rightarrow F$ then we can say that it is not valid.

$(\forall x A(x) \vee \forall x B (x) )$ will be true if all x are true for A or all x are true for B or all x are true for Both A and B.

To make $\forall x [A(x) \vee B(x)]$ false we need x which is false for both A and B but this is contradiction because LHS says that all x are true for A or all x are true for B or all x are true for Both A and B.

Hence the given wff is Valid.

by (472 points)
selected by
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
Top Users Jan 2020
  1. shashin

    1168 Points

  2. Vimal Patel

    308 Points

  3. Deepakk Poonia (Dee)

    305 Points

  4. Debapaul

    239 Points

  5. Satbir

    192 Points

  6. SuvasishDutta

    142 Points

  7. pranay562

    132 Points

  8. Pratyush Priyam Kuan

    119 Points

  9. tp21

    112 Points

  10. DukeThunders

    96 Points

Monthly Top User and those within 60% of his/her points will get a share of monthly revenue of GO subject to a minimum payout of Rs. 500. Current monthly budget for Top Users is Rs. 75.
3,008 questions
1,516 answers
8,990 comments
89,815 users