Python question - Discrete structure and Formal Language

Good day,

(Please look at the attachment to have the real questions). This is logics Formal Language and needs to be done in Python.

Write programs in Python to solve the following problems. It is important to note that

you will learn more by testing your programs with di erent inputs, e.g., domains D and the predicates P(x), and Q(y; z).

1. [10 Points] We studied the universal (V) and existential (E) quanitiers. De ne the

domain D as a set of values and de ne the predicate p(X) as you wish. For instance,

you can de ne D = {1; 2;    ; 10}, and assume P(1) and P(2) are true and that P(3)

is false. Similary de ne the true predicates in Q. By defult, consider a predicate to be

false if it is not given to be true. In databases, this is referred to as the closed world

assumption. Write two functions in Python to return the correct value (true or false)

for the well-formed formluas Vx P(x) and Ex P(x). Run enough tests to make sure it

works properly and terminates on all the valid inputs.

2. [20 Points] Repeat problem 1 for the formula VxEy Q(x; y).

3. [15 Points] Use the truth table and develop a program in Python to classify the fol-

lowing well-formed formulas in propositional logic into tautology, contingency, or con-


(a). [-p & (p V q)] -> q

(b). r & ((p -> -r) & (-p -> -r))

(c). [p -> (q -> r)] -> [(p -> q) -> r]

4. [5 Points] Use the truth table approach and develop a program that decides whether

(p -> q) -> (r -> s) and (p -> r) -> (q -> s) are logically equivalent. If not, explain.

Compétences : Python

En voir plus : formal language in writing, i write the question peapa the language of the question peapa is i siswati i what to ask you the question in seand to the questi, assignment question python, semi discrete galerkin method initial boundary value problem, natural language processing python code text summarization, critical analysis novels examines literary elements theme figurative language structure sociological psychological traits charac, database structure multi language site, python language degree, python script inputting value file, multi language database structure, structure php multi language site, natural language parsing python, cgi design web site python language, python progaramming language, php multi language database structure, discrete mathematics python, seo url structure multi language website

Concernant l'employeur :
( 12 commentaires ) Verdun, Canada

Nº du projet : #13016097

9 freelances font une offre moyenne de 71 $ pour ce travail

%bids___i_sum_sub_32% %project_currencyDetails_sign_sub_33% USD en 1 jour
(8 Commentaires)

Hello. How are you. I have read and understood the project. I'm an Expert in Data Structures and Algorithms. And I know well ; Java ,C/C++, Python ,PHP. I'm interested this project. So, firstly I want to discu Plus

%bids___i_sum_sub_32% %project_currencyDetails_sign_sub_33% USD en 1 jour
(15 Commentaires)

i have full proof concepts in discrete structures course and I love to solve problems like this , python is a user friendly language , which helps people find the right solution in a better way, Contact to learn more

%bids___i_sum_sub_32% %project_currencyDetails_sign_sub_33% USD en 1 jour
(2 Commentaires)

A proposal has not yet been provided

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 5 jours
(9 Commentaires)

Hi there! I am a mathematician and know well the pridicates. I can implement a python code that you need. Please contact me for details. Regards, Valentin

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 5 jours
(6 Commentaires)

hello I have read your requirement. I can help you to finish this work. Can you provide more information about this project? I will finish this work soon. Thank you

%bids___i_sum_sub_32% %project_currencyDetails_sign_sub_33% USD en 1 jour
(1 Évaluation)

Knowledge Pro innovative is dedicated to brings to Industries, Small-Business and people like you a good service, we provide complete solution on article writing, editing, report writing, medical writing, travel writi Plus

%bids___i_sum_sub_32% %project_currencyDetails_sign_sub_33% USD en 1 jour
(0 Commentaires)
%bids___i_sum_sub_32% %project_currencyDetails_sign_sub_33% USD en 1 jour
(0 Commentaires)
%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 8 jours
(0 Commentaires)

A proposal has not yet been provided

%bids___i_sum_sub_32% %project_currencyDetails_sign_sub_33% USD en 1 jour
(1 Évaluation)

Dear Client, Thanks for providing us opportunity to place bid over the project and communicate with [login to view URL] mainly deal in web development, SEO, Android App, software testing and graphic design. Our vision is to b Plus

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 6 jours
(0 Commentaires)