Posts

Showing posts from January 30, 2019

1854 en architecture

Image
Cet article est une ébauche concernant la chronologie de l'architecture. Vous pouvez partager vos connaissances en l’améliorant ( comment ? ) selon les recommandations des projets correspondants. Chronologies Années : 1851 1852 1853  1854  1855 1856 1857 Décennies : 1820 1830 1840  1850  1860 1870 1880 Siècles : XVIII e  siècle   XIX e  siècle  XX e  siècle Millénaires : I er  millénaire   II e  millénaire  III e  millénaire Chronologies géographiques Afrique Afrique du Sud, Algérie, Angola, Bénin, Botswana, Burkina Faso, Burundi, Cameroun, Cap-Vert, Centrafrique, Comores, République du Congo, République démocratique du Congo, Côte d'Ivoire, Djibouti, Égypte, Érythrée, Éthiopie, Gabon, Gambie, Ghana, Guinée, Guinée-Bissau, Guinée équatoriale, Kenya, Lesotho, Liberia, Libye, Madagascar, Malawi, Mali, Mauritanie, Maurice, Maroc, Mozambique, Namibie, Niger, Nigeria, Ouganda, Rwanda, Sao Tomé-et-Principe, Sénégal, Seychelles, Sierra Leone, Soma...

Why $∀x(P(x)→Q)$ is equivalent to $∃xP(x)→Q$

Image
1 $begingroup$ Given $x$ occurs free in $P$ . If $x$ does not occur free in $Q$ , then $∀x(P(x)→Q)$ is semantically equivalent with $∃xP(x)→Q$ . How to understand this statement. And also, need an example to show that the formula will not necessarily be equivalent if $x$ does occur free in $Q$ . I guess what struggles me is I'm not quite understand what does "free" mean in this case. But it would be better to have answer for the above question. discrete-mathematics logic predicate-logic quantifiers share | cite | improve this question edited Dec 9 '18 at 11:29 Mauro ALLEGRANZA ...