Help
AI3
by Javantea — Oct 2, 2012


+ −
where is a metalogical symbol meaning that is a syntactic consequence when and are both in a proof ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence if and are each on lines of a proof in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of, and in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of, and and in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of and in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of and in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of, and in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of and is also a syntactic consequence of in logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of,, and in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of,, and in some logical system ;

Edit
Promote Demote Fragment Fix

+ −
where is a metalogical symbol meaning that is a syntactic consequence of in some logical system ;

Edit
Promote Demote Fragment Fix
« More previous Okay Cancel More next »

0.023 seconds.



Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.