IUNA

Instituto Universitario Nacional del Arte

rea Transdepartamental de Artes Multimediales

Curso Preuniversitario de Introduccin a la Informtica
Ctedra: Drelichman, Paleo, Nadel, Morales

CLASE 5



TABLAS DE VERDAD

1. Hacer la tabla de verdad de las siguientes expresiones y determinar si se trata
de tautologas, contradicciones o indeterminaciones

i. p ! q ( ) " q #
$
%
&
! p
ii. p ! q ( ) " q #
$
%
&
! p
iii.

p !q
( )
" p
[ ]
!q
iv.

p !q
( )
" p
( ) [ ]
!q
v. p ! q ( ) " p " r ( ) #
$
%
&
! q
vi. p ! q ( ) " q " r ( ) #
$
%
&
! p
vii.
p ! q ( ) " r #
$
%
&
" p ' r [ ]

viii.
p ! q ( ) " p ! r ( ) #
$
%
&
" q

ix.
p ! q ( ) " r #
$
%
&
! p ' r ( )

x. p ! r ( ) " q # r ( ) $
%
&
'
! p # q ( ) " r $
%
&
'

xi. p ! q ( ) ! p ! q ( )



IUNA - Curso Preuniversitario de Introduccin a la Informtica - Clase 5 - Pg. 2
LOGICA FORMAL

1. Resolucin

i. La tabla de verdad muestra que se trata de una indeterminacin.

p q p !q
p !q ( ) " q p ! q ( ) " q #
$
%
&
! p
V V V V V
V F F F V
F V V V F
F F V F V

ii. La tabla de verdad muestra que se trata de una tautologa.

p q p !q q
p !q ( ) " q ( )
p
p ! q ( ) " q ( ) #
$
%
&
! p
V V V F F F V
V F F V F F V
F V V F F V V
F F V V V V V

iii. La tabla de verdad muestra que se trata de una tautologa.


p

q

p !q

p !q
( )
" p

p !q
( )
" p
[ ]
!q
V V V V V
V F F F V
F V V F V
F F V F V

iv. La tabla de verdad muestra que se trata de una indeterminacin.


p

q

p !q

p

p !q
( )
" p
( )


q

p !q
( )
" p
( ) [ ]
!q
V V V F F F V
V F F F F V V
F V V V V F F
F F V V V V V

v. La tabla de verdad muestra que se trata de una tautologa.

p q
r
p !q p ! r
p !q ( ) " p " r ( ) p ! q ( ) " p " r ( ) #
$
%
&
! q
V V V V V V V
V V F V F F V
V F V F V F V
V F F F F F V
F V V V F F V
F V F V F F V
F F V V F F V
F F F V F F V











IUNA - Curso Preuniversitario de Introduccin a la Informtica - Clase 5 - Pg. 3
vi. La tabla de verdad muestra que se trata de una tautologa.

p q
r
p !q q q ! r
p !q ( ) " q " r ( )
p
p ! q ( ) " q " r ( ) #
$
%
&
! p
V V V V F F F F V
V V F V F F F F V
V F V F V V F F V
V F F F V F F F V
F V V V F F F V V
F V F V F F F V V
F F V V V V V V V
F F F V V F F V V

vii. es una indeterminacin

p q
r
p ! q
p ! q ( ) "r
p !r
p ! q ( ) " r #
$
%
&
" p ' r [ ]
V V V V V V V
V V F V F F V
V F V F V V V
V F F F V F F
F V V F V F F
F V F F V V V
F F V F V F F
F V F F V V V

viii. es un indeterminacin

p q
r
p ! q p ! r
p ! q ( ) " p ! r ( ) p ! q ( ) " p ! r ( ) #
$
%
&
" q
V V V V V V V
V V F V V V V
V F V V V V F
V F F V V V F
F V V V V V V
F V F V F F V
F F V F V V F
F V F F F V F

ix. es un indeterminacin

p q
r
q p ! q
r
p ! q ( ) "r
p p ! r
p ! q ( ) " r #
$
%
&
! p ' r ( )
V V V F F F V F V V
V V F F F V V F F F
V F V V V F F F V F
V F F V V V V F F F
F V V F F F V V V V
F V F F F V V V V V
F F V V F F V V V V
F V F V F V V V V V


IUNA - Curso Preuniversitario de Introduccin a la Informtica - Clase 5 - Pg. 4
x. es una tautologa

p q
r
p ! r q ! r
p ! r ( ) " q # r ( )
p q p ! q
p ! q ( ) "r p ! r ( ) " q # r ( ) $
%
&
'
! p # q ( ) " r $
%
&
'

V V V V V V F F F V V
V V F V F F F F F V V
V F V V F F F V F V V
V F F V F F F V F V V
F V V V V V V F F V V
F V F F F V V F F V V
F F V V F F V V V V V
F V F F F V V V V F V

xi. es una contradiccin

p q p ! q p q p ! q
p ! q ( ) ! p ! q ( )
V V V F F F F
V F F F V F F
F V F V F F F
F F F V V V F