skip to main
|
skip to sidebar
Spoonwood
Tuesday, May 13, 2014
Formula of the Day: CCNpqCCNpNqp.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Followers
Blog Archive
►
2020
(7)
►
March
(1)
►
February
(1)
►
January
(5)
►
2016
(7)
►
October
(2)
►
September
(3)
►
August
(2)
►
2015
(1)
►
June
(1)
▼
2014
(19)
►
December
(1)
►
November
(1)
►
October
(3)
►
July
(1)
►
June
(2)
▼
May
(10)
I ran Prover9 [1] with the following inputs: 1. ...
Professor Ulrich asks "Can a fully-automated proof...
Formula of the Day: CCNpqCCNpNqp.
Formula of the day: CCCpqrCsCCqCrtCqt The last tw...
Logical Formula of the Day: self-distribution CCpC...
Formula of the Day: Recursive Variable Prefixing C...
Formula of the Day: CδCpqδANpq."δ" in opposition t...
Well-Formed Formula of the Day: ApNpApNp consists ...
Formula of the Day: EEEpqrEpEqrEEEpqrEpEqr comes a...
Formula of the Day: The law of commutation CCpCqrC...
►
April
(1)
►
2013
(3)
►
September
(1)
►
July
(1)
►
June
(1)
►
2012
(3)
►
June
(1)
►
May
(1)
►
April
(1)
►
2011
(5)
►
October
(2)
►
September
(3)
►
2010
(3)
►
August
(2)
►
March
(1)
►
2009
(8)
►
October
(1)
►
August
(1)
►
May
(6)
No comments:
Post a Comment