all, none, some, or not all of something is what your going to deal with mostly.
the hardest thing for me is translation into PD (predicate logic).
upside down capital A "∀" means for everything in the universe of discourse you are tramslating.
example : all Greeks are human
(∀x) (Gx > Hx) "for all x, if x is greek, then x is human"
this basically means the universe of discourse is Greeks (for all G basically).
now this ∀ symbol is called a quantifier. it is a universal quantifier... hence for "ALL" x
now there is another quantifier. an existential quantifier. this is different from universal
because it is not for every x, it is for AT LEAST ONE (which means there is an x) or not all x.
this symbol is a backwards E "∃"
example: there is a greek that is human
(∃x) (Gx & Hx) "there exists an x, (such that, or and) x is greek and x is human"
notice that the universal is a "if, then" or (>) statement and the existential is a "&" statement. for the most part this is how they work but there are some instances were both can be implemented...
example: all greek athelete's are human
(∀x) (Gx & Ax) > Hx "for all x, if x is a greek and an athelete,
then x is a human"
this is mostly predicate stuff but hopefully a good start to the harder stuff young blood.
in propositional logic a complete sentence can be presented as an atomic proposition. and complex sentences can be created using AND, OR, and other operators.....these propositions has only true of false values and we can use truth tables to define them... like book is on the table....this is a single proposition... in predicate logic there are objects, properties, functions (relations) are involved.
Predicate calculus is the axiomatic form of predicate logic.
Have a look at this website.. It answers your question very nicely. http://www.rbjones.com/rbjpub/logic/log003.htm
Quantity of Predicate, also known as quantification theory is a process that is used in computer science, math, linguistics, and philosophy. Quantification theory is comprised of syntax and semantics.
YES ONLY IF THE NUNBER IS 687,808,890,123,342,657 or a multiple of that YES ONLY IF THE NUNBER IS 687,808,890,123,342,657 or a multiple of that YES ONLY IF THE NUNBER IS 687,808,890,123,342,657 or a multiple of that YES ONLY IF THE NUNBER IS 687,808,890,123,342,657 or a multiple of that
Difference between Propositonal and Predicate logic
in propositional logic a complete sentence can be presented as an atomic proposition. and complex sentences can be created using AND, OR, and other operators.....these propositions has only true of false values and we can use truth tables to define them... like book is on the table....this is a single proposition... in predicate logic there are objects, properties, functions (relations) are involved.
The predicate calculus extends the propositional calculus by adding quantifiers such as 'all' (written with an upside-down 'A') and 'some' (written with a backwards 'E').
Predicate calculus is the axiomatic form of predicate logic.
Proposition in logic refers to the statements that are either true or false, but not both. Such kind of statements or sentences are usually called propositions.
Have a look at this website.. It answers your question very nicely. http://www.rbjones.com/rbjpub/logic/log003.htm
Krister Segerberg has written: 'Results in non-classical propositional logic' -- subject(s): Addresses, essays, lectures, Logic, Modality (Logic)
It depends on how the phrase "humanities logic" is used. If you're referring to formal techniques that are applied to the language used in the study of religion, philosophy, history, etcetera, then "humanities logic" refers to propositional logic, predicate logic, and set theory. In this way, the use of logic is analogous to the way that the social and behavioral sciences use statistics, and to the way that the natural sciences use math and statistics. Should you be referring to logic outside of a math department setting, then you're referring to logic as it is taught in most philosophy departments. When you're referring to logic that is not symbol based, then you may be talking about informal logic
Most studies in logic: Boolean algebra, predicate logic etc are independent of numbers.
Propositional thought is when you use abstract logic when you do not have concrete examples. For example it allows you to understand that if a premise is true, then a conclusion will be true. Like all men are are mortal. Premise Socrates is a man. Premise Therefore, Socrates is mortal. Conclusion Taken from Human Development, by Robert S. Feldman
Michael Durrant has written: 'Sortals and the subject-predicate distinction' -- subject(s): Language and logic, Predicate (Logic), Semantics (Philosophy) 'Creative strategies for school problems'
Syllogisms