Scribd
Upload
12 views1 page

Second Assignment

The document contains three main tasks: completing a truth table for logical propositions, evaluating a propositional function P(x) for specific values and determining their truth values, and analyzing a partially ordered set (POSET) to determine if it forms a lattice using a Hasse diagram. The truth table requires logical evaluations of implications and disjunctions. The evaluation of P(x) involves checking inequalities for specific integers, and the POSET analysis involves finding greatest lower bounds and least upper bounds for its elements.

Uploaded by

Emma
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
12 views1 page

Second Assignment

The document contains three main tasks: completing a truth table for logical propositions, evaluating a propositional function P(x) for specific values and determining their truth values, and analyzing a partially ordered set (POSET) to determine if it forms a lattice using a Hasse diagram. The truth table requires logical evaluations of implications and disjunctions. The evaluation of P(x) involves checking inequalities for specific integers, and the POSET analysis involves finding greatest lower bounds and least upper bounds for its elements.

Uploaded by

Emma
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

1.

Complete the Truth Table below:


P Q R (P ---> Q) (Q ---> R) (P ---> Q) v (Q --->
R)
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F

2. Consider the propositional function P(x) defined as: x 3 + x2 – 1 > 5,


then what are the truth value of P(2), P(–4) and P(–3). Indicate with
notation whether the propositions satisfy Universal or Existential
quantifier.

3. With a Hasse Diagram, determine whether this POSET: ({1, 2, 3, 4, 6,


8, 12, 24},|) is a lattice or not. (Show the Greatest Lower Bound (GLB)
and Least Upper Bound (LUB) for every pair of element and state your
reason).

You might also like