in Mathematical Logic
260 views
0 votes
0 votes
\neg \forall x \neg F(x)   

in English could we write this

as Not for all x F(x) holds

or as Not for all x F(x) holds is false.
in Mathematical Logic
by
260 views

1 Answer

0 votes
0 votes
$\neg \forall x \neg F(x)$  

$\text{Not for all x F(x) holds is false.}$

$\text{English translation is equivalent to saying for this formula : }$  $\exists F(x) $

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