Help


from Wikipedia
« »  
The following wffs are not atomic formulae but are built up from atomic formulae using logical connectives.
They are not sentences because they contain free variables.
( They are compound formulae ):< big >

1.865 seconds.