Part A These following predicates, objects, and relations are for question 1, 2, and 3: P(x) N(x) O(x) M(x) C(x) S(x,y) :x is a doctor :x is a nurse :x has a private practice :x is famous :x has a cleaning service :x is y by profession : Sa'ad :Ahmad : Imron : professional nurse :professional doctor 1. Translate this following English sentence into predicate logic formula: Because Sa'ad is a doctor but does not have a private practice, he is not famous.
Part A These following predicates, objects, and relations are for question 1, 2, and 3: P(x) N(x) O(x) M(x) C(x) S(x,y) :x is a doctor :x is a nurse :x has a private practice :x is famous :x has a cleaning service :x is y by profession : Sa'ad :Ahmad : Imron : professional nurse :professional doctor 1. Translate this following English sentence into predicate logic formula: Because Sa'ad is a doctor but does not have a private practice, he is not famous.
A First Course in Probability (10th Edition)
10th Edition
ISBN:9780134753119
Author:Sheldon Ross
Publisher:Sheldon Ross
Chapter1: Combinatorial Analysis
Section: Chapter Questions
Problem 1.1P: a. How many different 7-place license plates are possible if the first 2 places are for letters and...
Related questions
Question
100%

Transcribed Image Text:Part A
These following predicates, objects, and relations are for question 1, 2, and 3:
:x is a doctor
:x is a nurse
:x has a private practice
P(x)
N(x)
O(x)
M(x)
C(x)
S(x,y)
:x is famous
:x has a cleaning service
:x is y by profession
: Sa'ad
: Ahmad
: Imron
i
: professional nurse
: professional doctor
1. Translate this following English sentence into predicate logic formula:
Because Sa'ad is a doctor but does not have a private practice,
he is not famous.
Expert Solution

Step 1
Given that
s : Sa'ad
P(x) : x is a doctor
O(x) : x has a private practice
M(x) : x is famous
Given English statement
Because Sa'ad is a doctor but not have a private practice, he is not famous.
The logic symbol for because is ∵
The given statement is intersection of three statements so we use and operator "∧"
The negation symbol "¬" is used to denote opposite of given statements O(x) and M(x).
Step by step
Solved in 2 steps

Recommended textbooks for you

A First Course in Probability (10th Edition)
Probability
ISBN:
9780134753119
Author:
Sheldon Ross
Publisher:
PEARSON


A First Course in Probability (10th Edition)
Probability
ISBN:
9780134753119
Author:
Sheldon Ross
Publisher:
PEARSON
