What is predicate calculus

Started by MikeLigalig.com, May 02, 2013, 12:52:28 PM

Previous topic - Next topic
Print
Go Down Pages1
User actions

MikeLigalig.com

May 02, 2013, 12:52:28 PM
predicate calculus   

noun
branch of symbolic logic: the branch of symbolic logic that uses symbols to explore relationships between and within propositions

Microsoft® Encarta® 2009. © 1993-2008 Microsoft Corporation. All rights reserved.
For God so loved the world, that he gave his only Son (Jesus Christ), that whoever believes in him should not perish but have eternal life. For God did not send his Son into the world to condemn the world, but in order that the world might be saved through him. Whoever believes in him is not condemned, but whoever does not believe is condemned already, because he has not believed in the name of the only Son of God. - John 3:16-18

● ● ● ●
MOST AFFORDABLE health insurance HMO in the Philippines. Learn more at https://kwik.insure/at/mligalig
Print
Go Up Pages1
User actions