Models and valid consequence

$x$ $x$ $x$ $x$ $x$ $x$ $x$ $x$ $x$

Let $p$ , $q$ and $r$ be propositional variables.

Is the compound proposition $p\land (q\lor r)$ then a valid consequence of the compound proposition $(p\land q)\lor r$ ?

About us ⋅ Help ⋅ Privacy ⋅ Terms and conditions
Copyright © 2025 Sowiso

units
abc
abc
abc
vector
logic
function
standard

7

8

9

+

4

5

6

−

1

2

3

÷

.

0

=

×∗×

√

nth root

a■

$fraction$

>

log

sin

∧

e

<

ln

cos

∨

π

≥

|

|

tan

all

≤

!

°

none

↵

backspace

(

)

C

↑

←

↓

→

x

y