PropConectivos

Proposies e Conectivos
Prof. Cedric Luiz de Carvalho

INF/UFG
Abril de 2013
/home/cedric/dropbox/Recu
Prof. Cedric Luiz de Carvalho (INF/UFG)
Abril de 2013
1 / 10
TPICOS
LGICA PROPOSICIONAL Proposies Operaes Lgicas Conectivos Tabelas-Verdade Exerccios
Abril de 2013
2 / 10
Proposies
todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. toda armao que possui valor lgico verdadeiro (V) ou falso (F).
Abril de 2013
3 / 10
Proposies
todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. toda armao que possui valor lgico verdadeiro (V) ou falso (F). As proposies transmitem pensamentos, isto , armam fatos ou exprimem juzos que formamos a respeito de determinados entes.
Abril de 2013
3 / 10
Proposies
Exemplos
Abril de 2013
3 / 10
Proposies
Exemplos
A Lua um satlite da Terra.
Abril de 2013
3 / 10
Proposies
Exemplos
A Lua um satlite da Terra. 2+2=4
Abril de 2013
3 / 10
Proposies
Exemplos
A Lua um satlite da Terra. 2+2=4 Todo elefante azul.
Abril de 2013
3 / 10
Proposies
Exemplos
A Lua um satlite da Terra. 2+2=4 Todo elefante azul. Recife a capital de Pernambuco.
Abril de 2013
3 / 10
Operaes Lgicas
Ao de combinar proposies.
Abril de 2013
4 / 10
Operaes Lgicas
Ao de combinar proposies. Obedecem a regras de um clculo, denominado clculo proposicional.
Abril de 2013
4 / 10
Sentenas
Todas as sentenas declarativas do portugus so sentenas;
Abril de 2013
5 / 10
Sentenas
1 2
Todas as sentenas declarativas do portugus so sentenas; Letras sentenciais (P,Q, ...) so sentenas;
Abril de 2013
5 / 10
Sentenas
1 2 3
Todas as sentenas declarativas do portugus so sentenas; Letras sentenciais (P,Q, ...) so sentenas; A negao de uma sentena uma sentena;
Abril de 2013
5 / 10
Sentenas
1 2 3 4
Todas as sentenas declarativas do portugus so sentenas; Letras sentenciais (P,Q, ...) so sentenas; A negao de uma sentena uma sentena; A conjuno de duas sentenas uma sentena;
Abril de 2013
5 / 10
Sentenas
1 2 3 4 5
Todas as sentenas declarativas do portugus so sentenas; Letras sentenciais (P,Q, ...) so sentenas; A negao de uma sentena uma sentena; A conjuno de duas sentenas uma sentena; A disjuno de duas sentenas uma sentena;
Abril de 2013
5 / 10
Sentenas
1 2 3 4 5 6
Todas as sentenas declarativas do portugus so sentenas; Letras sentenciais (P,Q, ...) so sentenas; A negao de uma sentena uma sentena; A conjuno de duas sentenas uma sentena; A disjuno de duas sentenas uma sentena; A condicional formada com duas sentenas uma sentena,
Abril de 2013
5 / 10
Sentenas
1 2 3 4 5 6 7
Todas as sentenas declarativas do portugus so sentenas; Letras sentenciais (P,Q, ...) so sentenas; A negao de uma sentena uma sentena; A conjuno de duas sentenas uma sentena; A disjuno de duas sentenas uma sentena; A condicional formada com duas sentenas uma sentena, A bicondicional formada com duas sentenas uma sentena.
Abril de 2013
5 / 10
Conectivos
Usados nas operaes lgicas.
Abril de 2013
6 / 10
Conectivos
Usados nas operaes lgicas. So representados por smbolos especcos e indicam as operaes lgicas.
Abril de 2013
6 / 10
Precedncia dos Conectivos (do maior para o menor)
Abril de 2013
7 / 10
1 2
e (mesma precedncia)
Abril de 2013
7 / 10
1 2 3
Abril de 2013
7 / 10
1 2 3 4
Abril de 2013
7 / 10
Operaes e Conectivos
Operao Negao Conjuno Disjuno Disjuno exclusiva Condicional Bicondicional
Conectivo no e ou ou exclusivo se ... ento se e somente se
Smbolo
Abril de 2013
8 / 10
Tabelas-Verdade da Operao Lgicas
Abril de 2013
9 / 10
p V F
p F V
Abril de 2013
9 / 10
p V F
p F V
p V V F F
q V F V F
pq V F F F
Abril de 2013
9 / 10
p V F
p F V
p V V F F
q V F V F
pq V F F F
p V V F F
q V F V F
pq V V V F
Abril de 2013
9 / 10
p V F
p F V
p V V F F
q V F V F
pq V F F F
p V V F F
q V F V F
pq V V V F
Abril de 2013
9 / 10
p V F
p F V
p V V F F q
q V F V F
pq V F F F
p V V F F
q V F V F
pq V V V F
p V V F F
q V F V F
p F V V F
Abril de 2013
9 / 10
p V F
p F V
p V V F F q p V V F F
q V F V F q V F V F
pq V F F F pq V F V V
p V V F F
q V F V F
pq V V V F
p V V F F
q V F V F
p F V V F
Abril de 2013
9 / 10
p V F
p F V
p V V F F q p V V F F
q V F V F q V F V F
pq V F F F pq V F V V
p V V F F p V V F F
q V F V F q V F V F
pq V V V F pq V F F V
p V V F F
q V F V F
p F V V F
Abril de 2013
9 / 10
Construa a tabela-verdade para cada proposio a seguir:

1
(p q )
Abril de 2013
10 / 10

1 2
(p q ) (p q )
Abril de 2013
10 / 10

1 2 3
(p q ) (p q ) pq pq
Abril de 2013
10 / 10

1 2 3 4
(p q ) (p q ) pq pq p (p q )
Abril de 2013
10 / 10

1 2 3 4 5
(p q ) (p q ) pq pq p (p q ) (p q ) p q
Abril de 2013
10 / 10

1 2 3 4 5 6
(p q ) (p q ) pq pq p (p q ) (p q ) p q p q q
Abril de 2013
10 / 10

1 2 3 4 5 6 7
(p q ) (p q ) pq pq p (p q ) (p q ) p q p q q (p q ) (q p)
Abril de 2013
10 / 10

1 2 3 4 5 6 7 8
(p q ) (p q ) pq pq p (p q ) (p q ) p q p q q (p q ) (q p) (p (q r ))
Abril de 2013
10 / 10

1 2 3 4 5 6 7 8 9
(p q ) (p q ) pq pq p (p q ) (p q ) p q p q q (p q ) (q p) (p (q r )) (p q ) p q
Abril de 2013
10 / 10

1 2 3 4 5 6 7 8 9 10
(p q ) (p q ) pq pq p (p q ) (p q ) p q p q q (p q ) (q p) (p (q r )) (p q ) p q (p q ) (p q )
Abril de 2013
10 / 10

1 2 3 4 5 6 7 8 9 10 11
(p q ) (p q ) pq pq p (p q ) (p q ) p q p q q (p q ) (q p) (p (q r )) (p q ) p q (p q ) (p q ) p r q r
Abril de 2013
10 / 10

1 2 3 4 5 6 7 8 9 10 11 12
(p q ) (p q ) pq pq p (p q ) (p q ) p q p q q (p q ) (q p) (p (q r )) (p q ) p q (p q ) (p q ) p r q r (p ( q r )) (q (p r ))
Proposies e Conectivos Abril de 2013 10 / 10

PropConectivos

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

PropConectivos

Загружено:

Авторское право:

Доступные форматы

Proposies e Conectivos

Prof. Cedric Luiz de Carvalho

Prof. Cedric Luiz de Carvalho (INF/UFG)

LGICA PROPOSICIONAL Proposies Operaes Lgicas Conectivos Tabelas-Verdade Exerccios

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Ao de combinar proposies. Obedecem a regras de um clculo, denominado clculo proposicional.

Prof. Cedric Luiz de Carvalho (INF/UFG)

Todas as sentenas declarativas do portugus so sentenas;

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Usados nas operaes lgicas.

Prof. Cedric Luiz de Carvalho (INF/UFG)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Precedncia dos Conectivos (do maior para o menor)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Precedncia dos Conectivos (do maior para o menor)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Precedncia dos Conectivos (do maior para o menor)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Precedncia dos Conectivos (do maior para o menor)

Prof. Cedric Luiz de Carvalho (INF/UFG)

Operao Negao Conjuno Disjuno Disjuno exclusiva Condicional Bicondicional

Conectivo no e ou ou exclusivo se ... ento se e somente se

Prof. Cedric Luiz de Carvalho (INF/UFG)

Tabelas-Verdade da Operao Lgicas

Prof. Cedric Luiz de Carvalho (INF/UFG)

Tabelas-Verdade da Operao Lgicas

Prof. Cedric Luiz de Carvalho (INF/UFG)

Tabelas-Verdade da Operao Lgicas

Prof. Cedric Luiz de Carvalho (INF/UFG)

Tabelas-Verdade da Operao Lgicas

Prof. Cedric Luiz de Carvalho (INF/UFG)

Tabelas-Verdade da Operao Lgicas

Prof. Cedric Luiz de Carvalho (INF/UFG)

Tabelas-Verdade da Operao Lgicas

Prof. Cedric Luiz de Carvalho (INF/UFG)

Tabelas-Verdade da Operao Lgicas

Prof. Cedric Luiz de Carvalho (INF/UFG)

Tabelas-Verdade da Operao Lgicas

Prof. Cedric Luiz de Carvalho (INF/UFG)

Construa a tabela-verdade para cada proposio a seguir:

Prof. Cedric Luiz de Carvalho (INF/UFG)

Construa a tabela-verdade para cada proposio a seguir:

Prof. Cedric Luiz de Carvalho (INF/UFG)

Construa a tabela-verdade para cada proposio a seguir:

Prof. Cedric Luiz de Carvalho (INF/UFG)

Construa a tabela-verdade para cada proposio a seguir:

Prof. Cedric Luiz de Carvalho (INF/UFG)

Construa a tabela-verdade para cada proposio a seguir:

Prof. Cedric Luiz de Carvalho (INF/UFG)