All Symbolic Logic Resources
Example Questions
Example Question #1 :Sentential Logic
Which of the following statements is NOT a definition of sentential logic?
Ifandare formulas thenis a formula as well.
Ifandare formulas thenis a formula as well.
Only,,, andare formulas.
Ifis a formula thenis a formula as well.
Ifandare formulas thenis a formula as well.
Only,,, andare formulas.
stuff
Example Question #2 :Sentential Logic
Which of the following statements is NOT a definition of sentential logic?
Ifis a formula thenis a formula as well.
Ifandare formulas thenis a formula as well.
Ifandare formulas thenis a formula as well.
Only,,, andare formulas.
Ifandare formulas thenis a formula as well.
Only,,, andare formulas.
It is important to recall that sentential logic has a very specific definition that outlines and describes different formulas.
There are seven different statement criteria when discussing sentential logic and they are as follows.
I. Ifis a formula thenis a formula as well.
2Ifandare formulas thenis a formula as well.
III. Ifandare formulas thenis a formula as well.
IV. Ifandare formulas thenis a formula as well.
V. Ifandare formulas thenis a formula as well.
VI. All upper case letters are formulas
VII. Nothing else is a formula.
Looking at the possible answer selections, I, II, III, and IV are part of the sentential logic definition thus, "Only,,, andare formulas." is NOT in the definition. This can be verified by part VI in the definition which states that all upper case letters are formulas.
Example Question #3 :Sentential Logic
Which of the following statements is part of the definition for sentential logic?
Ifis a formula then so is.
Ifandare formulas thenis a formula as well.
Ifis a formula then so is.
Anything and everything can be considered a formula.
Every lower case letter is a formula.
Ifandare formulas thenis a formula as well.
It is important to recall that sentential logic has a very specific definition that outlines and describes different formulas.
There are seven different statement criteria when discussing sentential logic and they are as follows.
I. Ifis a formula thenis a formula as well.
2Ifandare formulas thenis a formula as well.
III. Ifandare formulas thenis a formula as well.
IV. Ifandare formulas thenis a formula as well.
V. Ifandare formulas thenis a formula as well.
VI. All upper case letters are formulas
VII. Nothing else is a formula.
Looking at the possible answer selections only IV is part of the sentential logic definition thus, "Ifandare formulas thenis a formula as well." is in the definition.
Example Question #1 :Truth Tables
Looking at the following truth table, find the missing operator if
.
To help solve for the missing operator in this truth table, first recall the different operators and there meanings.
In truth tables when the "or" operator is used translates to, eitherand(the constants) being true. When the "and" operator is used that means that for the result to hold true both the constants must be true. The "not" operator negates the answer. The "implies" that the first constantresults in the second constant. Lastly, the "equivalency" operator signifies that both constants are the same.
Looking at the truth table,
andresult in a true statement whenever the first constant is the same as the second constant. Therefore, the missing operator is "implies".
In mathematical terms the missing operator is.
Example Question #2 :Truth Tables
Looking at the following truth table, find the missing operator if
.
To help solve for the missing operator in this truth table, first recall the different operators and there meanings.
In truth tables when the "or" operator is used translates to, eitherand(the constants) being true. When the "and" operator is used that means that for the result to hold true both the constants must be true. The "not" operator negates the answer. The "implies" that the first constantresults in the second constant. Lastly, the "equivalency" operator signifies that both constants are the same.
Looking at the truth table,
andresult in a true statement whenever one of the constants is true. Therefore, the missing operator is "or".
In mathematical terms the missing operator is.
Example Question #3 :Truth Tables
Looking at the following truth table, find the missing operator if
.
To help solve for the missing operator in this truth table, first recall the different operators and there meanings.
In truth tables when the "or" operator is used translates to, eitherand(the constants) being true. When the "and" operator is used that means that for the result to hold true both the constants must be true. The "not" operator negates the answer. The "implies" that the first constantresults in the second constant. Lastly, the "equivalency" operator signifies that both constants are the same.
Looking at the truth table,
The result is always opposite of the value of. Therefore, the missing operator is "not".
In mathematical terms the missing operator is.
Example Question #1 :Symbolic Logic
Which of the following symbols is a "quantifier"?
Symbolic logic describes English statements using mathematical symbols. These mathematical symbols can be categorized into five areas.
I. Predicates:,
2术语:术语表示的变量the objects and constants of a statement.
III. Quantifiers:,
IV. Punctuation: (,)
诉连接词:,,,,,,
This particular question asks to identify the "quantifier".
Since there are only two symbols that are categorized as "quantifiers",and,and the "for all" symbolis the only one present in the answer choices, that is the correct answer.
Example Question #2 :Symbolic Logic
Which of the following symbols is a "quantifier"?
Symbolic logic describes English statements using mathematical symbols. These mathematical symbols can be categorized into five areas.
I. Predicates:,
2术语:术语表示的变量the objects and constants of a statement.
III. Quantifiers:,
IV. Punctuation: (,)
诉连接词:,,,,,,
This particular question asks to identify the "quantifier".
Since there are only two symbols that are categorized as "quantifiers",and,and the "exists" symbolis the only one present in the answer choices, that is the correct answer.
Example Question #3 :Symbolic Logic
Which of the following symbols "predicates"?
Symbolic logic describes English statements using mathematical symbols. These mathematical symbols can be categorized into five areas.
I. Predicates:,
2术语:术语表示的变量the objects and constants of a statement.
III. Quantifiers:,
IV. Punctuation: (,)
诉连接词:,,,,,,
This particular question asks to identify the "quantifier".
Since there are only two symbols that are categorized as "predicates",and,and the "equal" symbolis the only one present in the answer choices, that is the correct answer.
Example Question #1 :First Order Logic
Identify the complex sentence of the following statement:
Sally has a basketball and she sells it to her friend Bob.
First-order logic statements can be described in complex sentences by using logic symbols.
Recall the following logic symbols.
means "not"
means "implies"
means "or"
means "and"
means "equivalent"
For this particular problem the starting sentence is,
"Sally has a basketball and she sells it to her friend Bob."
First, identify the first-order statements and write them in symbolic form. This particular sentence has two first-order statements.
Statement 1: Sally has a basketball
Statement 2: Sally sells her basketball to her friend Bob.
To combine these statements into one complex sentence, it needs to be understood that once Sally sells her basketball she no longer has it therefore, the statement becomes:
Certified Tutor