/
Propositional Logic Basics
Save to my account
Sign up
Report Bug
Propositional Logic Basics
Propositional Logic Basics
Study
Question
What is a proposition in propositional logic?
Answer
A proposition is a declarative sentence that is either true or false, but not both at the same time.
Question
How are propositions typically represented in propositional logic?
Answer
Propositions are usually represented by letters from the alphabet starting with p, such as p, q, r, s, t, etc.
Question
What distinguishes a simple (atomic) proposition from a compound (molecular) proposition?
Answer
A simple or atomic proposition consists of a single variable or statement, while a compound proposition is made up of two or more simple propositions connected by logical operators (connectives).
Question
Why are exclamations, questions, and commands not considered propositions?
Answer
Because they cannot be assigned a truth value of true or false, thus they do not qualify as propositions.
Question
What is the role of logical operators (connectives) in compound propositions?
Answer
Logical operators connect simple propositions to form compound propositions, defining how their truth values relate.
Question
List the common logical connectives covered and their symbols with their verbal reading.
Answer
¬ (Negation) - 'No' ∧ (Conjunction) - 'and', 'y', 'producto lógico' ∨ (Disjunction inclusive) - 'or', 'o inclusivo', 'suma lógica' ∨ (Disjunction exclusive) - 'exclusive or', 'o exclusivo', 'excluyente' → (Implication) - 'if... then...', 'si... entonces...' ↔ (Biconditional) - 'if and only if', 'si y sólo si', 'doble implicación'
Question
How can the negation of a proposition be formed linguistically and symbolically?
Answer
Linguistically, by placing 'no' before the verb or using 'no se cumple que' before the original proposition. Symbolically, if p is a proposition, its negation is ¬p.
Question
What are the different ways to phrase conjunctions in natural language?
Answer
Examples include 'p además de q', 'p también q', 'p así como q', 'p pero q', among others.
Question
How can the implication 'p → q' be expressed in natural language?
Answer
It can be phrased as 'if p then q', 'p only if q', 'q if p', 'q with the condition that p', 'p implies q', 'p is a sufficient condition for q', or any expression indicating cause and effect.
Question
What is the difference between inclusive and exclusive disjunction in terms of truth conditions?
Answer
Inclusive disjunction (p ∨ q) is true if at least one of p or q is true and allows both to be true simultaneously, whereas exclusive disjunction means exactly one is true, not both.
Question
Using an example, explain the difference between inclusive and exclusive disjunction.
Answer
Inclusive disjunction example: 'Los docentes o estudiantes universitarios recibirán descuento' where both may receive it. Exclusive disjunction example: 'Agustina usa zapatillas o sandalias', where she cannot wear both at the same time.
Question
What makes a proposition logically compound according to the text?
Answer
If it consists of two or more simple propositions connected by logical connectives, it is considered compound.
Question
Why is the statement 'x es un número entero' not a proposition?
Answer
Because it contains a variable 'x' that is not defined, so it is impossible to assign a truth value to it.
Question
Why is a question like '¿En qué provincia queda la ciudad de Pumamarca?' not considered a proposition?
Answer
Because it is an interrogative sentence and cannot be assigned a truth value of true or false.
Question
Given the propositions p: '7 es un número impar' and q: '7 no divide a 23', how would you express '7 es un número impar y 7 no divide a 23' symbolically?
Answer
It would be expressed as p ∧ q, representing the conjunction of the two propositions.