!
! "
! ! #
! "
! ! #
#
!
$%
&'
#
()*
+
#
, )
-
)-.
/
!
˄ ˅
,
$%
!
"
#! $ %
! &'#! "! !
#! " "!
(
)
#! " "!
(
)
* + ,
- )
. ,
&
"
/
"
-
0
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.
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?”
!
& & '" "!
5!
6
" 7
! )
6
" 7
! )
8)*
! "! &! 6 7
8).
9
&
!
"
"! ( &!$
697
&
& & '" "!
5!
! )
! )
8) * *
'
! .
)
! & #
& - "
(
#
5!
#
5!
<& - " !
5!
&
=
+
+>
=
+
>!
?>@+A
6B C
¬
¬
¬
¬
7
#! &!
#
"!
! &!
)
#! &!
#
"!
! &!
)
8)*
?+
#!&!
D ! &!A)
=
+
+>
=
+
F
? A 6
∧
∧
∧
∧
7C
< ! "
5! ! G
)
= $
"!
! & " "!
= $
"!
! & " "!
?
A% ?
A)
8)
*
&
$ ; )
.
"
!)
*
∧
∧
∧
∧
.
=
+
+>
=
+
F
?+<A 6
∨
∨
∨
∨
7C
< ! "
5! ! G
)
8
#
*
$
!
.
!
)
=
+
+>
=
+
F
?+<A 6
∨
∨
∨
∨
7C
#
*
)
*
)
.
$
!
)
*
∨
∨
∨
∨
.
$
!
)
=
+
+>
=
+
"
?
))) >=@+)))A 6 7C
&
"! "
5! % $& H !
&! !
% ; "
"
)
&! !
% ; "
"
)
8)*
! ; #! ! &
$
"!
$
/
=
+
+>
=
+
H
"
A)))
+, >=
)))A 6
↔
↔
↔
↔
7
&
"! "
5! % $& H !
&
"! "
5! % $& H !
&! !
% ; " $ H
"
)
* ? (
$
&
!&I
A
. A (
$ &!
I
!& A
=
+
+>
=
+
H
"
A)))
+, >=
)))A 6
↔
↔
↔
↔
7
+
!F %
? $
& I
!&I
! $ &! I
!&
!
$ &!
I
!&
! $
& I
!&I
)A
=
+
+>
=
+
8! '
+
! &/ ; "
!"!H !
B
)
!"!H !
B
)
16 16
=
+
+>
=
+
8! '
* :
)
. :
& )
!"!H !
*
∧
∧
∧
∧
.
=
+
+>
=
+
8! '
*
$
!
)
.
-
!
!)
.
-
!
!)
1
)
!"!H !
*
∧
∧
∧
∧
.
∧
∧
∧
∧
1
18 18
=
+
+>
=
+
8! '
*
$
!D !
)
.
$
- )
.
$
- )
1
$
; )
!"!H !
6
*
∧
∧
∧
∧
.7
∧
∧
∧
∧
6B
17)
=
+
+>
=
+
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
=
+
+>
=
+
8! '
? !
"!
'
"!
/ &
% ! &
"! !
" )A
!"!H !
!" -
&
!
5!
! ! ( -!
!
5!
! ! ( -!
! ! ! &
"
!
% & -
" H !
! & #
"!D
"
)
=
+
+>
=
+
8! '
* ?+ ; !
A
. ?+
. ?+
; ! A
!"!H ! 9 -!
!
! ! &
& -
"
! & #
"!D
" )
22 22
Proposição1
9
/
! #
!
#
!
!
(
#
(
#
(
#
0
!% 10 !
0
2 %
!% !
%
0
˄
9
+
3
%
!%
%
4
+
+
5
˅
˅˄
+
5
˅
˅˄
. .
+
6
%
4
+
.
+
5
&
˅
B, ((P
˄
,'
)'
˅
(S
˄
T)
=
+
+>
=
+
= $! 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.
=
H
+
+>
=
+
>!
6>@+7
A
A
~A
~A
8)
?
$
& A J K
B6 7 3 9
V
V
F
F
F
F
V
V
=
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
=
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
=
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
=
H
+
+>
=
+
"
6 !)))
&
)))7
8 ! "! "! D ! " ! ! /
& )
! !"
! ! 9
& !- % ! &
! !
!
!
!)
! !"
! ! 9
& !- % ! &
! !
!
!
!)
!" &! " ! 9 & !- " ! ! /
( ! &! ! ! ! ! ! !) % & / "! !
#! " "! % )
! !"
!
!
!% ! &
! !
! ! 9
& !- ) 697
=
H
+
+>
=
+
"
6 !)))
&
)))7
+$ ! #! D ! !8! &! % ! D ! !
#! " "! % ! ! #! " "! ! ! "
& $ )
& " % ;/ & 5! ! D ! ! ! ! 5! !
& " % ;/ & 5! ! D ! ! ! ! 5! !
! ! #! " "! & #! " "! )
!
; (
(!
" % ! &
! P (
" "!)
! ( & ; "! ! (! " % !
P ( " "! & & # ) + ( & "! ; ! (! "
" ! ! / ( ! &! ! P ( " "!%
"! ! G ) >! &!
=
H
+
+>
=
+
"
6 !)))
&
)))7
! ( % "! &! " 5! 9 %
" "! !
! ! & #!
!#
" ! ,
% ! &
&! !
! &
! ! & #!
!#
" ! ,
% ! &
&! !
! &
Q*)RRR%RR)
9 ! & " D ! ! ! & !
" ;! !" " & ) D ! ! "
! &/ & " & ( -! ! & )
&/ !# " ! , 9 +
=! ! ! & Q*)RRR%RR 9 +
=
H
+
+>
=
+
"
6 !)))
&
)))7
! / 9 ! ! ( #! " "!
" " ( )
! .
% ! &
L
'
)
! .
% ! &
L
'
)
$ . !F % L ) % ( & "! . !
" ( ! &! L ! ' % !F % ;/
" ( & "! . ! ( & "! L ! ' )
. +
L ' 9 +
=
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
=
H
+
+>
=
+
H
"
6 ! !
! &! !)))7
! ! ! & F ! & ! " &! !
" " )
! :
&! "
!
S% ! &
! ! ! &/
! :
&! "
!
S% ! &
! ! ! &/
# " )
+$ ! #! D ! ;/ ! " "! "
! :
! &/
# " % ! &
! ! &! "
!
S)
% "! " -! D !
: ! &/ # " ! ! ! &! ! ! ! & #! "
=
H
+
+>
=
+
H
"
6 ! !
! &! !)))7
T "! " ! ! ! &! ! " 5!
' ! ! # % !F % $
$ 9 )
U F! ; #! / # "! & ! ! ! &! !
U F! ; #! / # "! & ! ! ! &! !
; F! ( " )
!" ! ! ! ! ! ! &! ! ! ! ! ! 9 & !- )
L ! ! ! &! ! . ( )
=
H
+
+>
=
+
+ "! "!
" "! "
! & #
B
maior
maior
=
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)