ÁLGEBRA DAS VARIÁVEIS LÓGICAS

Texto

(1)
(2)

!

! "

! ! #

! "

! ! #

#

!

$%

&'

#

()*

+

#

, )

-

)-.

/

!

˄ ˅

,

$%

(3)

!

"

#! $ %

! &'#! "! !

#! " "!

(

)

#! " "!

(

)

* + ,

- )

. ,

&

"

/

"

-

0

(4)

Proposição:

Conjunto de palavras ou símbolos que exprimem um

pensamento de sentido completo, de modo que se possa

atribuir, dentro de certo contexto, somente um de dois

atribuir, dentro de certo contexto, somente um de dois

valores lógicos possíveis:

verdadeiro

ou

falso

.

Exemplos:

a)

O curso Pré-Fiscal fica em São Paulo.

b)

O Brasil é um País da América do Sul.

c)

A Bahia é um estado do sul do Brasil.

(5)

O que não é uma Proposição?

Sentenças exclamativas:

“Caramba!”, “Feliz aniversário!”,

Sentenças exclamativas:

“Caramba!”, “Feliz aniversário!”,

“Feliz Ano Novo!”.

Sentenças interrogativas:

“Como é seu nome?”, “O jogo

saiu de quanto?”

(6)

!

& & '" "!

5!

6

" 7

! )

6

" 7

! )

8)*

! "! &! 6 7

8).

9

&

!

"

"! ( &!$

697

(7)

&

& & '" "!

5!

! )

! )

8) * *

'

! .

)

(8)

! & #

& - "

(

#

5!

#

5!

<& - " !

5!

&

(9)

=

+

+>

=

+

>!

?>@+A

6B C

¬

¬

¬

¬

7

#! &!

#

"!

! &!

)

#! &!

#

"!

! &!

)

8)*

?+

#!&!

D ! &!A)

(10)

=

+

+>

=

+

F

? A 6

7C

< ! "

5! ! G

)

= $

"!

! & " "!

= $

"!

! & " "!

?

A% ?

A)

8)

*

&

$ ; )

.

"

!)

*

.

(11)

=

+

+>

=

+

F

?+<A 6

7C

< ! "

5! ! G

)

8

#

*

$

!

.

!

)

(12)

=

+

+>

=

+

F

?+<A 6

7C

#

*

)

*

)

.

$

!

)

*

.

$

!

)

(13)

=

+

+>

=

+

"

?

))) >=@+)))A 6 7C

&

"! "

5! % $& H !

&! !

% ; "

"

)

&! !

% ; "

"

)

8)*

! ; #! ! &

$

"!

$

/

(14)

=

+

+>

=

+

H

"

A)))

+, >=

)))A 6

7

&

"! "

5! % $& H !

&

"! "

5! % $& H !

&! !

% ; " $ H

"

)

* ? (

$

&

!&I

A

. A (

$ &!

I

!& A

(15)

=

+

+>

=

+

H

"

A)))

+, >=

)))A 6

7

+

!F %

? $

& I

!&I

! $ &! I

!&

!

$ &!

I

!&

! $

& I

!&I

)A

(16)

=

+

+>

=

+

8! '

+

! &/ ; "

!"!H !

B

)

!"!H !

B

)

16 16

(17)

=

+

+>

=

+

8! '

* :

)

. :

& )

!"!H !

*

.

(18)

=

+

+>

=

+

8! '

*

$

!

)

.

-

!

!)

.

-

!

!)

1

)

!"!H !

*

.

1

18 18

(19)

=

+

+>

=

+

8! '

*

$

!D !

)

.

$

- )

.

$

- )

1

$

; )

!"!H !

6

*

.7

6B

17)

(20)

=

+

+>

=

+

8! '

*

"! "!

.

"! & F

)

.

"! & F

)

1

$

;!

)

!"!H !

6

*

.7

6B

17)

20 20

A casa é madeira ou de tijolo e possui

A casa é madeira ou de tijolo e possui

banheiro

(21)

=

+

+>

=

+

8! '

? !

"!

'

"!

/ &

% ! &

"! !

" )A

!"!H !

!" -

&

!

5!

! ! ( -!

!

5!

! ! ( -!

! ! ! &

"

!

% & -

" H !

! & #

"!D

"

)

(22)

=

+

+>

=

+

8! '

* ?+ ; !

A

. ?+

. ?+

; ! A

!"!H ! 9 -!

!

! ! &

& -

"

! & #

"!D

" )

22 22

Proposição1

(23)

9

/

! #

!

#

!

!

(

#

(

#

(

#

0

!% 10 !

0

2 %

!% !

%

0

˄

(24)

9

+

3

%

!%

%

4

+

+

5

˅

˅˄

+

5

˅

˅˄

. .

+

6

%

4

+

.

+

5

&

˅

B, ((P

˄

,'

)'

˅

(S

˄

T)

(25)

=

+

+>

=

+

= $! H ! " "!

É um instrumento usado para determinar os

valores lógicos das proposições compostas,

valores lógicos das proposições compostas,

a partir de atribuições de todos os possíveis

valores lógicos das proposições simples

componentes.

(26)

=

H

+

+>

=

+

>!

6>@+7

A

A

~A

~A

8)

?

$

& A J K

B6 7 3 9

V

V

F

F

F

F

V

V

(27)

=

H

+

+>

=

+

F

6 7

A

A

B

B

A ^ B

A ^ B

V

V

V

V

V

V

8)

6.2.3L7

6EM13..7

V

V

V

V

V

V

V

V

F

F

F

F

F

F

V

V

F

F

F

(28)

=

H

+

+>

=

+

F

6+<7

A

A

B

B

A v B

A v B

V

V

V

V

V

V

8)

6.2.3L7 # 6EM13..7

9

3

V

V

V

V

V

V

V

V

F

F

V

V

F

F

V

V

V

V

F

F

F

F

F

F

(29)

=

H

+

+>

=

+

"

6 !)))

&

)))7

&! !"! &!C

!DN! &!C

"

9

" &

<

&! !"! &! 9

!# ! !

$ !

!DN! &!

A

A

B

B

A

A

B

B

A

A

B

B

A

A

B

B

V

V

V

V

V

V

V

V

F

F

F

F

F

F

V

V

V

V

F

(30)

=

H

+

+>

=

+

"

6 !)))

&

)))7

8 ! "! "! D ! " ! ! /

& )

! !"

! ! 9

& !- % ! &

! !

!

!

!)

! !"

! ! 9

& !- % ! &

! !

!

!

!)

!" &! " ! 9 & !- " ! ! /

( ! &! ! ! ! ! ! !) % & / "! !

#! " "! % )

! !"

!

!

!% ! &

! !

! ! 9

& !- ) 697

(31)

=

H

+

+>

=

+

"

6 !)))

&

)))7

+$ ! #! D ! !8! &! % ! D ! !

#! " "! % ! ! #! " "! ! ! "

& $ )

& " % ;/ & 5! ! D ! ! ! ! 5! !

& " % ;/ & 5! ! D ! ! ! ! 5! !

! ! #! " "! & #! " "! )

!

; (

(!

" % ! &

! P (

" "!)

! ( & ; "! ! (! " % !

P ( " "! & & # ) + ( & "! ; ! (! "

" ! ! / ( ! &! ! P ( " "!%

"! ! G ) >! &!

(32)

=

H

+

+>

=

+

"

6 !)))

&

)))7

! ( % "! &! " 5! 9 %

" "! !

! ! & #!

!#

" ! ,

% ! &

&! !

! &

! ! & #!

!#

" ! ,

% ! &

&! !

! &

Q*)RRR%RR)

9 ! & " D ! ! ! & !

" ;! !" " & ) D ! ! "

! &/ & " & ( -! ! & )

&/ !# " ! , 9 +

=! ! ! & Q*)RRR%RR 9 +

(33)

=

H

+

+>

=

+

"

6 !)))

&

)))7

! / 9 ! ! ( #! " "!

" " ( )

! .

% ! &

L

'

)

! .

% ! &

L

'

)

$ . !F % L ) % ( & "! . !

" ( ! &! L ! ' % !F % ;/

" ( & "! . ! ( & "! L ! ' )

. +

L ' 9 +

(34)

=

H

+

+>

=

+

H

"

6 ! !

! &! !)))7

A

A

B

B

A

A

B

B

V

V

V

V

V

V

8) ? (

$

&

!&I

A

A (

$ &! I

!& A 3

V

V

V

V

V

V

V

V

F

F

F

F

F

F

V

V

F

F

F

F

F

F

V

V

(35)

=

H

+

+>

=

+

H

"

6 ! !

! &! !)))7

! ! ! & F ! & ! " &! !

" " )

! :

&! "

!

S% ! &

! ! ! &/

! :

&! "

!

S% ! &

! ! ! &/

# " )

+$ ! #! D ! ;/ ! " "! "

! :

! &/

# " % ! &

! ! &! "

!

S)

% "! " -! D !

: ! &/ # " ! ! ! &! ! ! ! & #! "

(36)

=

H

+

+>

=

+

H

"

6 ! !

! &! !)))7

T "! " ! ! ! &! ! " 5!

' ! ! # % !F % $

$ 9 )

U F! ; #! / # "! & ! ! ! &! !

U F! ; #! / # "! & ! ! ! &! !

; F! ( " )

!" ! ! ! ! ! ! &! ! ! ! ! ! 9 & !- )

L ! ! ! &! ! . ( )

(37)

=

H

+

+>

=

+

+ "! "!

" "! "

! & #

B

maior

maior

(38)

=

H

+

+>

=

+

8! '

<& -

"

& $!

#! " "! "

! & #

% #! ( D ! !

!8

!

5!

$ 8

#! " "!

(

)

!8

!

5!

$ 8

#! " "!

(

)

*)

6.243E7

6

;

!

7)

.)

BJ6?>! ;

!

A7

6?

'

&

"

A7K

J6.812*3E7

?

;

!

AK)

1)

BV6? !

!

!

? 8 &! 8 W

!&

=!

A7

J6?

&

W

A7

64213E7KX)

L)

6

π

π

π

π ≅

1%*L7

6?68)6Y2-7A 7

?8Y28-A7

6? ! 8!

!

A7

4)

6? !

&!A

?+

&

!F A7

6? ! L8L3*SA

?*SZL3LA7

Imagem

Referências

temas relacionados :