Need help with verification of 5 symbolic logic sentences

  • Thread starter fittipaldi
  • Start date
  • Tags
    Logic
In summary, the person is asking for help with 5 logical sentences for their computer science class. They mention not being good at logic and needing help to determine if the sentences are true or false. The conversation also includes a discussion about implications and creating a truth table.
  • #1
fittipaldi
3
0
Please I need help with these 5 logical sentences. I have some basic ideas about logic, but was never good in it, and now we have to do it for our informatic lectures, please help me. I just have to say if the sentences are true or not.

Thank you very much
 

Attachments

  • logic.jpg
    logic.jpg
    16.4 KB · Views: 426
Physics news on Phys.org
  • #2
I'll give you the first one, hoping that will get you started on the rest.
For the first one, the implication from right to left is clear: if a is true, then certainly "a or (anything else)" is true.
Now for the other way. What happens if one of the possibilities -- say the first -- is true? And what if it is false?

If you are having trouble arguing here, you could make a truth table:
Code:
a b av(~(b&a)) (...)=>a
T T      T            ?
T F      T            ?
F T      T            ?
F F      T            ?
 
  • #3
for reaching out for help with your logical sentences. I understand the importance of correctly verifying logical statements in the field of informatics. I would be happy to assist you in this task.

To verify whether a logical sentence is true or not, we need to break it down into smaller components and analyze each part separately. This process is called logical reasoning and it involves evaluating the truth value of each component and then combining them to determine the overall truth value of the sentence.

To help you with your sentences, here are some general tips for verifying logical statements:

1. Be familiar with the basic rules of logic: Before attempting to verify any logical sentence, it is important to have a good understanding of the basic rules of logic such as the law of non-contradiction, the law of excluded middle, and the rules of inference. These rules will serve as a guide for your analysis.

2. Break down the sentence into smaller parts: As mentioned earlier, logical reasoning involves breaking down a sentence into smaller components. This will help you to better understand the structure of the sentence and identify any logical fallacies or errors.

3. Evaluate the truth value of each component: Once you have identified the smaller components of the sentence, evaluate the truth value of each component. This can be done by using truth tables, logical equivalences, or other logical tools.

4. Combine the truth values: After evaluating the truth value of each component, combine them according to the rules of logic to determine the overall truth value of the sentence. This will help you to determine whether the sentence is true or false.

5. Practice, practice, practice: Logical reasoning, like any other skill, requires practice to master. I would recommend practicing with a variety of logical statements to improve your understanding and ability to verify them.

I hope these tips will help you in verifying your logical sentences. If you have any specific questions or need further assistance, please do not hesitate to reach out. I wish you all the best in your informatics lectures.
 

FAQ: Need help with verification of 5 symbolic logic sentences

What is symbolic logic?

Symbolic logic is a branch of mathematics and philosophy that deals with the formal representation of logical systems using symbols and rules to manipulate those symbols. It is used to analyze and evaluate arguments and statements for their logical consistency and validity.

How is symbolic logic used in scientific research?

Symbolic logic is used in scientific research to construct logical frameworks for theories and hypotheses, to identify and eliminate fallacies in arguments, and to evaluate the validity of evidence and data. It is also used in computer science and artificial intelligence to design and program logical systems.

What is the process for verifying symbolic logic sentences?

The process for verifying symbolic logic sentences involves breaking down the sentences into their component parts, using logical rules to manipulate the symbols, and evaluating the resulting statements for their logical consistency and validity. This process may also involve constructing truth tables or using proof methods such as natural deduction.

Can symbolic logic be used to solve real-world problems?

Yes, symbolic logic can be used to solve real-world problems by providing a systematic and rigorous approach to analyzing and evaluating arguments and statements. It is commonly used in fields such as mathematics, computer science, and philosophy to solve complex problems and develop new theories.

Are there any limitations to using symbolic logic?

While symbolic logic is a powerful tool for analyzing logical systems, it does have some limitations. It is primarily concerned with the form and structure of arguments and may not always accurately reflect the meaning or context of a statement. Additionally, symbolic logic can only handle propositions that can be expressed in a formal, symbolic language and may not be able to capture the complexity of natural language.

Back
Top