Noes de Lgica Matemtica

Resumindo a Tabela Verdade

p/ q so as proposies simples O nmero de linhas da tabela verdade igual ao nmero d eproposies ao quadrado, ou seja, duas proposies p/ q ento a tabela tem 04 linhas. Nas colounas negao de p / negao de q (~p/~q) coloca-se o valor contrrio da coluna da proposio simples, ou seja, na linha onde F ser V, onde V ser F. Na coluna conjuno (p^q), ou seja p e q, o valor s ser V quando houver dois V nas colunas proposio simples (V-V), ou seja, onde p V e q tbm V. Nas demais possibilidades (F-F/ V-F/ F-V) a conjuno ser F. Na coluna disjunao (p v q) ou seja p ou q, coloca-se V onde houver ao menos um V nas colunas das proposies (V-V/V-F/F-V). Ou seja, s ser F quando as duas proposio forem falsas (F-F). Na coluna disjuno exclusiva (p_vq) coloca-se sempre F quando o valor das duas proposies for igual (F-F/V-V) e V quando forem diferentes (V-F/F-V). Na coluna condicional (p -> q), ou seja, se p ento q, s coloca-se F se o antecedente (p) for V e o consequente (q) for F, ou seja V-F. Todas as demais linhas sero V. Na coluna bicondiciona (p <-> q) usa-se V sempre quas as premissas p/q tiverem o mesmo valor lgico, ou seja, V-V e F-F. As demais linhas sero F.

Traduo literal da simbologia: ~ = no. Ento ~p = no p e ~q= no q. ^ = e. Ento p^q = p e q. v = ou. Ento pvq = p ou q -> = condicional. Ento p->q = Se p ento q.

<-> = bicondicional. Ento p <-> q = p se somente se q.