Recall, we have five connectives in propositional logic ¬, ∧, ∨, →, ↔ (negation, conjunction, disjunction, conditional and biconditional). in fact, to express every possible outcome we only need the negation and the conditional connectives show how this is done by writing alternative expressions (i. e. logically equivalent ones) for the expressions below, using only the connectives ¬ and →. type or paste your answers in the write submission box. as usual, you may substitute ~ for ¬ and --> for → , if you're typing answers.(a) p ∧ q(b) p ∨ q(c) p ↔ q

(a) ¬(p→¬q)

(b) ¬p→q

(c) ¬((p→q)→¬(q→p))

Step-by-step explanation

taking into account the truth table for the conditional connective:

p | q | p→q

T | T |   T    

T | F |   F    

F | T |   T    

F | F |   T    

(a) and (b) can be seen from truth tables:

for (a) p∧q:

p | q | ¬q | p→¬q | ¬(p→¬q) | p∧q

T | T |  F  |   F     |    T       |  T

T | F |  T  |  T      |    F       |  F

F | T |  F  |  T      |    F       |  F

F | F |  T  |  T      |    F       |  F

As they have the same truth table, they are equivalent.

In a similar manner, for (b) p∨q:

p | q | ¬p | ¬p→q | p∨q

T | T |  F  |   T     |    T    

T | F |  F  |   T     |    T    

F | T |  T  |   T     |    T    

F | F |  T  |   F     |    F    

again, the truth tables are the same.

For (c)p↔q, we have to remember that p ↔ q can be written as (p→q)∧(q→p). By replacing p with (p→q) and q with (q→p) in the answer for part (a) we can change the ∧ connector to an equivalent using ¬ and →. Doing this we get ¬((p→q)→¬(q→p))

∠lno ≅ ∠lnm

∠oln ≅ ∠mln

step-by-step explanation:

given   that triangle lno is congruent to triangle lnm.

we have to fill up the blanks in the given question.

according to above order of congruency   kept in mind we can say that

∠lno ≅ ∠lnm

∠oln ≅ ∠mln

ln ≅ ln due to common in both.

hence, by sas congruency,

the side angle side rule   states that if two sides and the included angle of one triangle are congruent to another triangle, then these two triangles are congruent.

529 and 531

step-by-step explanation: