in Mathematical Logic
683 views
1 vote
1 vote
$ \forall x (P(x) \rightarrow Q(x)) \rightarrow [\exists P(x)] \rightarrow [\forall Q(x)]$

 

how to check that a statement is valid or invalid ?
in Mathematical Logic
683 views

4 Comments

how is it  ambiguous ?
0
0
$\rightarrow$ is no right associative??
0
0
0
0

Please log in or register to answer this question.

Related questions

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